Algorithms for Maximum Satisfiability using Unsatisfiable Cores


Marques-Silva, Joao and Planes, Jordi (2008) Algorithms for Maximum Satisfiability using Unsatisfiable Cores. In, Design, Automation and Test in Europe Conference and Exhibition, Munich, Germany, 06 - 10 Mar 2008. ACM Press.

This is the latest version of this item.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 6-10 March
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 265000
Date Deposited: 05 Jan 2008 00:13
Last Modified: 14 Apr 2014 11:27
Research Funder: EPSRC
Projects:
NOTOS: New algOrithm for LTL mOdel checking with Satisfiability
Funded by: EPSRC (EP/E012973/1)
Led by: Bernd Fischer
2 April 2007 to 1 April 2010
Publisher: ACM Press
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/265000

Available Versions of this Item

  • Algorithms for Maximum Satisfiability using Unsatisfiable Cores. (deposited 05 Jan 2008 00:13) [Currently Displayed]

Actions (login required)

View Item View Item