No Cover Image

Book chapter 386 views

Chapter 11: Minimal satisfiability and autarkies / 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

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: College of Science
Start Page: 339
End Page: 401