| 2009 |
|---|
| 10 | EE | Josep Argelich,
Inês Lynce,
João P. Marques Silva:
On Solving Boolean Multilevel Optimization Problems
CoRR abs/0904.0019: (2009) |
| 2008 |
|---|
| 9 | EE | Josep Argelich,
Alba Cabiscol,
Inês Lynce,
Felip Manyà:
Encoding Max-CSP into Partial Max-SAT.
ISMVL 2008: 106-111 |
| 8 | EE | Josep Argelich,
Alba Cabiscol,
Inês Lynce,
Felip Manyà:
Modelling Max-CSP as Partial Max-SAT.
SAT 2008: 1-14 |
| 7 | EE | Josep Argelich,
Chu Min Li,
Felip Manyà:
A Preprocessor for Max-SAT Solvers.
SAT 2008: 15-20 |
| 6 | EE | Josep Argelich,
Chu Min Li,
Felip Manyà,
Jordi Planes:
The First and Second Max-SAT Evaluations.
JSAT 4(2-4): 251-278 (2008) |
| 2007 |
|---|
| 5 | EE | Josep Argelich,
Felip Manyà:
Partial Max-SAT Solvers with Clause Learning.
SAT 2007: 28-40 |
| 2006 |
|---|
| 4 | EE | Josep Argelich,
Xavier Domingo,
Chu Min Li,
Felip Manyà,
Jordi Planes:
Towards Solving Many-Valued MaxSAT.
ISMVL 2006: 26 |
| 3 | EE | Josep Argelich,
Felip Manyà:
Exact Max-SAT solvers for over-constrained problems.
J. Heuristics 12(4-5): 375-392 (2006) |
| 2005 |
|---|
| 2 | EE | Josep Argelich,
Felip Manyà:
Solving Over-Constrained Problems with SAT.
CP 2005: 838 |
| 1 | EE | Josep Argelich,
Felip Manyà:
Solving Over-Constrained Problems with SAT Technology.
SAT 2005: 1-15 |
