| 2008 |
|---|
| 7 | EE | Josep Argelich,
Alba Cabiscol,
Inês Lynce,
Felip Manyà:
Encoding Max-CSP into Partial Max-SAT.
ISMVL 2008: 106-111 |
| 6 | EE | Josep Argelich,
Alba Cabiscol,
Inês Lynce,
Felip Manyà:
Modelling Max-CSP as Partial Max-SAT.
SAT 2008: 1-14 |
| 2007 |
|---|
| 5 | EE | Ramón Béjar,
Felip Manyà,
Alba Cabiscol,
Cèsar Fernández,
Carla P. Gomes:
Regular-SAT: A many-valued approach to solving combinatorial problems.
Discrete Applied Mathematics 155(12): 1613-1626 (2007) |
| 2004 |
|---|
| 4 | EE | Carlos Ansótegui,
Ramón Béjar,
Alba Cabiscol,
Felip Manyà:
The Interface between P and NP in Signed CNF Formulas.
ISMVL 2004: 251-256 |
| 2002 |
|---|
| 3 | EE | Teresa Alsinet,
Ramón Béjar,
Alba Cabiscol,
Cèsar Fernández,
Felip Manyà:
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.
CCIA 2002: 139-144 |
| 2001 |
|---|
| 2 | EE | Ramón Béjar,
Alba Cabiscol,
Cèsar Fernández,
Felip Manyà,
Carla P. Gomes:
Capturing Structure with Satisfiability.
CP 2001: 137-152 |
| 1 | EE | Ramón Béjar,
Alba Cabiscol,
Cèsar Fernández,
Felip Manyà,
Carla P. Gomes:
Extending the Reach of SAT with Many-Valued Logics.
Electronic Notes in Discrete Mathematics 9: 392-407 (2001) |
