| * | 2009 |
|---|
| 9 | EE | Miquel Bofill,
Albert Rubio:
Paramodulation with Well-founded Orderings.
J. Log. Comput. 19(2): 263-302 (2009) |
| 2008 |
|---|
| 8 | EE | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
The Barcelogic SMT Solver.
CAV 2008: 294-298 |
| 7 | EE | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
A Write-Based Solver for SAT Modulo the Theory of Arrays.
FMCAD 2008: 1-8 |
| 2004 |
|---|
| 6 | EE | Miquel Bofill,
Albert Rubio:
Redundancy Notions for Paramodulation with Non-monotonic Orderings.
IJCAR 2004: 107-121 |
| 2003 |
|---|
| 5 | | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings.
J. Autom. Reasoning 30(1): 99-120 (2003) |
| 2002 |
|---|
| 4 | EE | Miquel Bofill,
Albert Rubio:
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation.
CADE 2002: 456-470 |
| 2001 |
|---|
| 3 | EE | Miquel Bofill,
Guillem Godoy:
On the Completeness of Arbitrary Selection Strategies for Paramodulation.
ICALP 2001: 951-962 |
| 2000 |
|---|
| 2 | | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Modular Redundancy for Theorem Proving.
FroCos 2000: 186-199 |
| 1999 |
|---|
| 1 | EE | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Paramodulation with Non-Monotonic Orderings.
LICS 1999: 225-233 |
