New Inference Rules for Max-SAT

Download PDF
Open Webpage

Chu Min Li, Felip Manyà, Jordi Planes

Published: 01 Jan 2007, Last Modified: 10 Jun 2024J. Artif. Intell. Res. 2007EveryoneRevisionsBibTeXCC BY-SA 4.0