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 and Applied Science > Electronics and Computer Science |
| Item ID: | 266149 |
| Date Deposited: | 17 Jul 2008 12:51 |
| Last Modified: | 02 Mar 2012 13:00 |
| Contributors: | Liffiton, Mark (Author) Mneimneh, Maher (Author) Lynce, Ines (Author) Andraus, Zaher (Author) Marques-Silva, Joao (Author) Sakallah, Karem (Author) |
| Date: | 2008 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266149 |
Actions (login required)
 |
View Item |
