 | 2011 |
|---|
| 12 |       | Carlos Ansótegui,
Miquel Bofill,
Miquel Palahí,
Josep Suy,
Mateu Villaret:
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem.
SARA 2011 |
| 2010 |
|---|
| 11 | | Miquel Bofill,
Dídac Busquets,
Mateu Villaret:
A declarative approach to robust weighted Max-SAT.
PPDP 2010: 67-76 |
| 10 | | Miquel Bofill,
Josep Suy,
Mateu Villaret:
A System for Solving Constraint Satisfaction Problems with SMT.
SAT 2010: 300-305 |
| 2009 |
|---|
| 9 | | Miquel Bofill,
Albert Rubio:
Paramodulation with Well-founded Orderings.
J. Log. Comput. 19(2): 263-302 (2009) |
| 2008 |
|---|
| 8 | | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
The Barcelogic SMT Solver.
CAV 2008: 294-298 |
| 7 | | 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 | | 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 | | Miquel Bofill,
Albert Rubio:
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation.
CADE 2002: 456-470 |
| 2001 |
|---|
| 3 | | 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 | | Miquel Bofill,
Guillem Godoy,
Robert Nieuwenhuis,
Albert Rubio:
Paramodulation with Non-Monotonic Orderings.
LICS 1999: 225-233 |
Data released under the ODC-BY 1.0 license — See also our legal information page