A System for Solving Constraint Satisfaction Problems with SMT-Reference-Cited by-同舟云学术

A System for Solving Constraint Satisfaction Problems with SMT

Published:2010 Issue: Volume: Page:300-305
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2010
language:
Short-container-title:

Author:

Bofill Miquel,Suy Josep,Villaret Mateu

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14186-7_25

Reference13 articles.

1. Bofill, M., Palahi, M., Suy, J., Villaret, M.: SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format. In: Proceedings of the 8th Intl. Workshop on Constraint Modelling and Reformulation, pp. 30–44 (2009)

2. Lecture Notes in Artificial Intelligence;M. Cadoli,2006

3. Dutertre, B., de Moura, L.: The Yices SMT solver (August 2006), Tool paper at http://yices.csl.sri.com/tool-paper.pdf

4. Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B., Miguel, I.: Essence: A Constraint Language for Specifying Combinatorial Problems. Constraints 13(3), 268–306 (2008)

5. Lecture Notes in Computer Science;J. Huang,2008

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey on String Constraint Solving;ACM Computing Surveys;2023-01-31

2. Generating efficient solvers from constraint models;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

3. From MiniZinc to Optimization Modulo Theories, and Back;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2020

4. OptiMathSAT: A Tool for Optimization Modulo Theories;Journal of Automated Reasoning;2018-12-15

5. Auto-tabling for subproblem presolving in MiniZinc;Constraints;2017-06-06