Symmetry Breaking for Maximum Satisfiability


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

Download

[img] PDF jpms-lpar08.pdf - Other
Download (125kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 22-27 November 2008
Venue - Dates: International Conference on Logic for Programming Artificial Intelligence and Reasoning, Qatar, 2008-11-22 - 2008-11-27
Organisations: Electronics & Computer Science
ePrint ID: 266608
Date :
Date Event
November 2008Published
Date Deposited: 29 Aug 2008 21:07
Last Modified: 17 Apr 2017 19:00
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266608

Actions (login required)

View Item View Item