A Proof-Producing Boolean Search Engine (2003)

Cached

Download Links

by Clark Barrett , Sergey Berezin
Venue:In Proceedings of PDPAR’03
Citations:12 - 5 self

Documents Related by Co-Citation

204 CVC Lite: A new implementation of the cooperating validity checker – Clark Barrett, Sergey Berezin - 2004
1119 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
11 FaCT and DLP – Ian Horrocks, Peter F. Patel-schneider - 1998
126 S-match: an algorithm and an implementation of semantic matching – Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich, Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich - 2004
528 Semantic matching – Fausto Giunchiglia, Fausto Giunchiglia, Mikalai Yatskevich, Mikalai Yatskevich, Enrico Giunchiglia, Enrico Giunchiglia - 2007
113 CVC: a Cooperating Validity Checker – Aaron Stump, Clark W. Barrett, David L. Dill - 2002
60 Theorem proving using lazy proof explication – Cormac Flanagan, Rajeev Joshi, Jamesb. Saxe - 2003
374 GRASP: A Search Algorithm for Propositional Satisfiability – Joaäo P. Marques-silva, Karem A. Sakallah - 1999
195 Ontology-Based Integration of Information - A Survey of Existing Approaches – H. Wache, T. Vögele, U. Visser, H. Stuckenschmidt, G. Schuster, H. Neumann, S. Hübner - 2001
1000 A Survey of Approaches to Automatic Schema Matching – Erhard Rahm, Philip A. Bernstein - 2001
54 Explaining ALC subsumption – Alex Borgida, Enrico Franconi, Ian Horrocks - 1999
71 A Proof Markup Language for Semantic Web Services – Paulo Pinheiro da Silva, Silva Deborah, Deborah L. McGuinness, Richard Fikes - 2004
23 Cooperating theorem provers: A case study combining HOL-Light and CVC Lite – Sean Mclaughlin, Clark Barrett, Yeting Ge - 2006
55 Combining Strengths of Circuit-based and CNF-based Algorithms for a High-Performance SAT Solver – Malay K Ganai, Lintao Zhang, Pranav Ashar, Aarti Gupta, Sharad Malik - 2002
90 A.: Checking satisfiability of first-order formulas by incremental translation to SAT – C W Barrett, D L Dill, Stump
534 A Machine Program for Theorem-Proving – M Davis, G Logemann, D Loveland - 1962
74 Lazy theorem proving for bounded model checking over infinite domains – Leonardo De Moura, Harald Ruess, Maria Sorea - 2002
151 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996