New Inference Rules for Efficient Max-SAT
                   Solving

BibTex:
Research Area:	Uncategorized	Year:	2006
Type of Publication:	In Proceedings
Authors:	Heras, F. Larrosa, J.

Book title:	Proc. of the National Conference on Artificial Intelligence, AAAI-2006





@conference{heras06, author = "F. Heras and J. Larrosa", booktitle = "Proc. of the National Conference on Artificial Intelligence, AAAI-2006", title = "{N}ew {I}nference {R}ules for {E}fficient {M}ax-{SAT} {S}olving", year = "2006", }
[Bibtex] [RIS] [MODS]

COST FUNCTION