
Search the dblp DataBase
Miquel Bofill:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Miquel Bofill, Albert Rubio
WellFoundedness Is Sufficient for Completeness of Ordered Paramodulation. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:456470 [Conf]
 Miquel Bofill, Albert Rubio
Redundancy Notions for Paramodulation with Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:107121 [Conf]
 Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Modular Redundancy for Theorem Proving. [Citation Graph (0, 0)][DBLP] FroCos, 2000, pp:186199 [Conf]
 Miquel Bofill, Guillem Godoy
On the Completeness of Arbitrary Selection Strategies for Paramodulation. [Citation Graph (0, 0)][DBLP] ICALP, 2001, pp:951962 [Conf]
 Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation with NonMonotonic Orderings. [Citation Graph (0, 0)][DBLP] LICS, 1999, pp:225233 [Conf]
 Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
Paramodulation and KnuthBendix Completion with Nontotal and Nonmonotonic Orderings. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:30, n:1, pp:99120 [Journal]
The Barcelogic SMT Solver. [Citation Graph (, )][DBLP]
A WriteBased Solver for SAT Modulo the Theory of Arrays. [Citation Graph (, )][DBLP]
A declarative approach to robust weighted MaxSAT. [Citation Graph (, )][DBLP]
A System for Solving Constraint Satisfaction Problems with SMT. [Citation Graph (, )][DBLP]
Search in 0.242secs, Finished in 0.243secs
