Search the dblp DataBase

Publications of Author

1. Miquel Bofill, Albert Rubio
   Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:456-470 [Conf]
   
2. Miquel Bofill, Albert Rubio
   Redundancy Notions for Paramodulation with Non-monotonic Orderings. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:107-121 [Conf]
   
3. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
   Modular Redundancy for Theorem Proving. [Citation Graph (0, 0)][DBLP]
   FroCos, 2000, pp:186-199 [Conf]
   
4. Miquel Bofill, Guillem Godoy
   On the Completeness of Arbitrary Selection Strategies for Paramodulation. [Citation Graph (0, 0)][DBLP]
   ICALP, 2001, pp:951-962 [Conf]
   
5. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
   Paramodulation with Non-Monotonic Orderings. [Citation Graph (0, 0)][DBLP]
   LICS, 1999, pp:225-233 [Conf]
   
6. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
   Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2003, v:30, n:1, pp:99-120 [Journal]
   
7. 
   The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]
   
   
8. 
   A Write-Based Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
   
   
9. 
   A declarative approach to robust weighted Max-SAT. [Citation Graph (, )][DBLP]
   
   
10. 
    A System for Solving Constraint Satisfaction Problems with SMT. [Citation Graph (, )][DBLP]