A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas


Liffiton, Mark, Mneimneh, Maher, Lynce, Ines, Andraus, Zaher, Marques-Silva, Joao and Sakallah, Karem (2008) A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas. Constraints: An International Journal

Download

Full text not available from this repository.

Item Type: Article
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 266149
Date Deposited: 17 Jul 2008 12:51
Last Modified: 27 Mar 2014 20:11
Publisher: Springer
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266149

Actions (login required)

View Item View Item