Book chapter 1382 views
Chapter 11: Minimal satisfiability and autarkies
Hans Kleine Buening,
Oliver Kullmann 
Pages: 339 - 401
Swansea University Author:
Oliver Kullmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.3233/978-1-58603-929-5-339
Abstract
Chapter 11: Minimal satisfiability and autarkies
| Published: |
IOS Press
2009
|
|---|---|
| Online Access: |
http://cs.swan.ac.uk/~csoliver/Artikel/p01c11_mus.pdf |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
In Handbook of Satisfiability (ed. Biere, Armin; Heule, Marijn; van Maaren, Hans; Walsh, Toby) |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
339 |
| End Page: |
401 |