Author:
Caferra Ricardo,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Egon BÖRGER. Decision problems in predicate logic. In G. Longo G. Lolli and A. Marcja, editors, Logic Colloquium'82, pages 263–301. North-Holland, 1984.
2. Ricardo CAFERRA and Nicolas PELTIER. Extending semantic resolution via automated model building: applications. In Proceeding of IJCAI'95. Morgan Kaufmann, 1995.
3. Ricardo CAFERRA and Nicolas PELTIER. Model building and interactive theory discovery. In Proceeding of Tableaux'95, LNAI 918, pages 154–168. Springer-Verlag, 1995.
4. Ricardo Caferra and Nicolas Zabel. A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation, 13:613–641, 1992.
5. Burton DREBEN and Warren D. GOLDFARB. The Decision Problem, Solvable Classes of Quantificational Formulas. Addison-Wesley, 1979.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On deciding subsumption problems;Annals of Mathematics and Artificial Intelligence;2004-12-31
2. A rewriting approach to satisfiability procedures;Information and Computation;2003-06
3. FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure;Automated Deduction - CADE-17;2000
4. Completeness and Redundancy in Constrained Clause Logic;Automated Deduction in Classical and Non-Classical Logics;2000
5. Extending Decidable Clause Classes via Constraints;Automated Deduction in Classical and Non-Classical Logics;2000