| 2008 |
|---|
| 9 | EE | Federico Heras,
Javier Larrosa:
A Max-SAT Inference-Based Pre-processing for Max-Clique.
SAT 2008: 139-152 |
| 8 | EE | Javier Larrosa,
Federico Heras,
Simon de Givry:
A logical approach to efficient Max-SAT solving.
Artif. Intell. 172(2-3): 204-233 (2008) |
| 2007 |
|---|
| 7 | EE | Federico Heras,
Javier Larrosa,
Albert Oliveras:
MiniMaxSat: A New Weighted Max-SAT Solver.
SAT 2007: 41-55 |
| 2006 |
|---|
| 6 | | Federico Heras,
Javier Larrosa:
New Inference Rules for Efficient Max-SAT Solving.
AAAI 2006 |
| 5 | EE | Javier Larrosa,
Federico Heras,
Simon de Givry:
A Logical Approach to Efficient Max-SAT solving
CoRR abs/cs/0611025: (2006) |
| 4 | EE | Federico Heras,
Javier Larrosa:
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.
J. Heuristics 12(4-5): 287-306 (2006) |
| 2005 |
|---|
| 3 | EE | Federico Heras,
Javier Larrosa:
Local Consistency in Weighted CSPs and Inference in Max-SAT.
CP 2005: 849 |
| 2 | EE | Javier Larrosa,
Federico Heras:
Resolution in Max-SAT and its relation to local consistency in weighted CSPs.
IJCAI 2005: 193-198 |
| 1 | EE | Simon de Givry,
Federico Heras,
Matthias Zytnicki,
Javier Larrosa:
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.
IJCAI 2005: 84-89 |
