Symmetry Breaking for Maximum Satisfiability

Marques-Silva, Joao, Lynce, Ines and Manquinho, Vasco (2008) Symmetry Breaking for Maximum Satisfiability.


[img] PDF
Download (92Kb)
Item Type: Monograph (Technical Report)
Additional Information: ArXiv Report arXiv:0804.0599
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 265390
Date Deposited: 03 Apr 2008 18:41
Last Modified: 27 Mar 2014 20:10
Further Information:Google Scholar
ISI Citation Count:1

Actions (login required)

View Item View Item