 | 2008 |
|---|
| 12 |       | Federico Heras,
Vasco M. Manquinho,
João Marques-Silva:
On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization.
FLAIRS Conference 2008: 71-76 |
| 11 |  | Federico Heras,
Javier Larrosa:
A Max-SAT Inference-Based Pre-processing for Max-Clique.
SAT 2008: 139-152 |
| 10 | | Javier Larrosa,
Federico Heras,
Simon de Givry:
A logical approach to efficient Max-SAT solving.
Artif. Intell. 172(2-3): 204-233 (2008) |
| 9 | | Federico Heras,
Javier Larrosa,
Albert Oliveras:
MiniMaxSAT: An Efficient Weighted Max-SAT solver.
J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008) |
| 8 | | Federico Heras,
Javier Larrosa,
Simon de Givry,
Thomas Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances.
JSAT 4(2-4): 239-250 (2008) |
| 2007 |
|---|
| 7 | | 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 | | Javier Larrosa,
Federico Heras,
Simon de Givry:
A Logical Approach to Efficient Max-SAT solving
CoRR abs/cs/0611025: (2006) |
| 4 | | 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 | | Federico Heras,
Javier Larrosa:
Local Consistency in Weighted CSPs and Inference in Max-SAT.
CP 2005: 849 |
| 2 | | Javier Larrosa,
Federico Heras:
Resolution in Max-SAT and its relation to local consistency in weighted CSPs.
IJCAI 2005: 193-198 |
| 1 | | 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 |
