Using a Theorem Prover for Reasoning on Constraint Problems-Reference-Cited by-同舟云学术

Using a Theorem Prover for Reasoning on Constraint Problems

Published:2005 Issue: Volume: Page:38-49
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cadoli Marco,Mancini Toni

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11558590_4.pdf

Reference18 articles.

1. Lecture Notes in Computer Science;M. Cadoli,2003

2. Cadoli, M., Mancini, T.: Automated reformulation of specifications by safe delay of constraints. In: Proc. of KR 2004. AAAI Press/The MIT Press (2004)

3. Lecture Notes in Artificial Intelligence;M. Cadoli,2004

4. Cadoli, M., Schaerf, A.: Compiling problem specifications into SAT. Artif. Intell. 162, 89–120 (2005)

5. Castillo, E., Conejo, A.J., Pedregal, P., Garcia, R., Alguacil, N.: Building and Solving Mathematical Programming Models in Engineering and Science. John Wiley & Sons, Chichester (2001)

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

1. Trends in Relational Program Verification;Principled Software Development;2018

2. Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs;Automated Deduction in Geometry;2013

3. Instance Based Methods—A Brief Overview;KI - Künstliche Intelligenz;2010-02-05

4. SAT as an Effective Solving Technology for Constraint Problems;Lecture Notes in Computer Science;2006

5. Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems;Logic for Programming, Artificial Intelligence, and Reasoning;2005