TY  - JOUR
AU  - Heras, Federico
AU  - Larrosa, Javier
AU  - Oliveras, Albert
PY  - 2007/may/
TI  - MiniMaxSat: A New Weighted Max-SAT Solver
SP  - 41
EP  - 55
IS  - 4501
CY  - Lisbon, Portugal
ID  - HLO07
ER  -