@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", }