Symmetry Breaking for Maximum Satisfiability

Marques-Silva, Joao, Lynce, Ines and Manquinho, Vasco (2008) Symmetry Breaking for Maximum Satisfiability. In, International Conference on Logic for Programming Artificial Intelligence and Reasoning, Doha, Qatar, 22 - 27 Nov 2008. Springer LNCS.


[img] PDF
Download (123Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 22-27 November 2008
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 266608
Date Deposited: 29 Aug 2008 21:07
Last Modified: 27 Mar 2014 20:12
Publisher: Springer LNCS
Further Information:Google Scholar
ISI Citation Count:1

Actions (login required)

View Item View Item