A New Logic for Jointly Representing Hard and Soft Constraints.

Jan Maly, Stefan Woltran

Browse the full CADE paper archive.