To access the full text documents, please follow this link: http://hdl.handle.net/10256/8406
dc.contributor.author | Bofill Arasa, Miquel |
---|---|
dc.contributor.author | Palahí i Sitges, Miquel |
dc.contributor.author | Suy Franch, Josep |
dc.contributor.author | Villaret i Ausellé, Mateu |
dc.date | 2009 |
dc.identifier.uri | http://hdl.handle.net/10256/8406 |
dc.format | application/pdf |
dc.language.iso | eng |
dc.publisher | Alan M. Frisch and Jimmy Lee |
dc.relation | Reproducció digital del document publicat a: http://www-users.cs.york.ac.uk/~frisch/ModRef/09/proceedings.pdf |
dc.relation | © Constraint Modelling and Reformulation, 8th International Workshop : Lisbon, Portugal, September, 2009, p.30-45 |
dc.relation | Articles publicats (D-IMA) |
dc.rights | Tots els drets reservats |
dc.subject | Algorismes computacionals |
dc.subject | Computer algorithms |
dc.subject | Lògica matemàtica |
dc.subject | Logic, Symbolic and mathematical |
dc.title | SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format |
dc.type | info:eu-repo/semantics/article |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.description.abstract |