History
1
an:70126558
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Read-once resolution for unsatisfiability-based Max-SAT algorithms (English)
IJCAI, 572-577 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!