Send to Friend
FromTo


Send to Friend from IIIA

A New Encoding from MinSAT into MaxSAT

Publication Type:

Conference Paper

Authors:

Zhu Zhu; Chu Min Li; Felip Manyà; J. Argerlich

Source:

CP 2012, p.455-463 (2012)