| 2008 |
| 10 | EE | João Marques-Silva,
Jordi Planes:
Algorithms for Maximum Satisfiability using Unsatisfiable Cores.
DATE 2008: 408-413 |
| 2007 |
| 9 | EE | João Marques-Silva,
Jordi Planes:
On Using Unsatisfiability for Solving Maximum Satisfiability
CoRR abs/0712.1097: (2007) |
| 8 | EE | Chu Min Li,
Felip Manyà,
Jordi Planes:
New Inference Rules for Max-SAT.
J. Artif. Intell. Res. (JAIR) 30: 321-359 (2007) |
| 2006 |
| 7 | | Chu Min Li,
Felip Manyà,
Jordi Planes:
Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT.
AAAI 2006 |
| 6 | EE | Josep Argelich,
Xavier Domingo,
Chu Min Li,
Felip Manyà,
Jordi Planes:
Towards Solving Many-Valued MaxSAT.
ISMVL 2006: 26 |
| 2005 |
| 5 | EE | Chu Li,
Felip Manyà,
Jordi Planes:
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.
CP 2005: 403-414 |
| 4 | EE | Teresa Alsinet,
Felip Manyà,
Jordi Planes:
Improved Exact Solvers for Weighted Max-SAT.
SAT 2005: 371-377 |
| 2004 |
| 3 | EE | Teresa Alsinet,
Felip Manyà,
Jordi Planes:
A Max-SAT Solver with Lazy Data Structures.
IBERAMIA 2004: 334-342 |
| 2003 |
| 2 | EE | Jordi Planes:
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.
CP 2003: 991 |
| 2000 |
| 1 | | Jordi Castellà-Roca,
Josep Domingo-Ferrer,
Jordi Herrera-Joancomartí,
Jordi Planes:
A Performance Comparison of Java Cards for Micropayment Implementation.
CARDIS 2000: 19-38 |