No Cover Image

Book chapter 632 views

Chapter 11: Minimal satisfiability and autarkies

Hans Kleine Buening, Oliver Kullmann Orcid Logo

Pages: 339 - 401

Swansea University Author: Oliver Kullmann Orcid Logo

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:
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