SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective-Reference-Cited by-同舟云学术

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective

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

Author:

Armando Alessandro,Castellini Claudio,Giunchiglia Enrico,Giunchiglia Fausto,Tacchella Armando

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-32254-2_4

Reference35 articles.

1. Armando, A., Giunchiglia, F.: On tautology decision techniques: Complexity and implementation considerations. Technical Report 8911-08, IRST, Trento, Italy (1989)

2. Armando, A., Giunchiglia, E.: Embedding Complex Decision Procedures inside an Interactive Theorem Prover. Annals of Mathematics and Artificial Intelligence 8(3–4), 475–502 (1993)

3. Lecture Notes in Computer Science;A. Armando,2000

4. Bayardo Jr., R.J., Schrag, R.C.: Using CSP look-back techniques to solve real-world SAT instances. In: Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI 1997/IAAI 1997), Menlo Park, July 27–31, pp. 203–208. AAAI Press, Menlo Park (1997)

5. Lecture Notes in Computer Science;A. Biere,1999

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

1. Human Rationality Challenges Universal Logic;Logica Universalis;2010-07-23

2. An Overview of AI Research in Italy;Lecture Notes in Computer Science;2009

3. The SAT-based Approach to Separation Logic;Journal of Automated Reasoning;2005-12-28

4. The SAT-based Approach to Separation Logic;SAT 2005