No Cover Image

Book chapter 1195 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: 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!
first_indexed 2013-07-23T11:49:26Z
last_indexed 2018-02-09T04:27:27Z
id cronfa6
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T14:52:35.7922259</datestamp><bib-version>v2</bib-version><id>6</id><entry>2011-10-01</entry><title>Chapter 11: Minimal satisfiability and autarkies</title><swanseaauthors><author><sid>2b410f26f9324d6b06c2b98f67362d05</sid><ORCID>0000-0003-3021-0095</ORCID><firstname>Oliver</firstname><surname>Kullmann</surname><name>Oliver Kullmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2011-10-01</date><deptcode>SCS</deptcode><abstract></abstract><type>Book chapter</type><journal></journal><volume></volume><journalNumber></journalNumber><paginationStart>339</paginationStart><paginationEnd>401</paginationEnd><publisher>IOS Press</publisher><placeOfPublication/><issnPrint/><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2009</publishedYear><publishedDate>2009-12-31</publishedDate><doi>10.3233/978-1-58603-929-5-339</doi><url>http://cs.swan.ac.uk/~csoliver/Artikel/p01c11_mus.pdf</url><notes>In Handbook of Satisfiability (ed. Biere, Armin; Heule, Marijn; van Maaren, Hans; Walsh, Toby)</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T14:52:35.7922259</lastEdited><Created>2011-10-01T00:00:00.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Hans Kleine</firstname><surname>Buening</surname><order>1</order></author><author><firstname>Oliver</firstname><surname>Kullmann</surname><orcid>0000-0003-3021-0095</orcid><order>2</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2013-10-17T14:52:35.7922259 v2 6 2011-10-01 Chapter 11: Minimal satisfiability and autarkies 2b410f26f9324d6b06c2b98f67362d05 0000-0003-3021-0095 Oliver Kullmann Oliver Kullmann true false 2011-10-01 SCS Book chapter 339 401 IOS Press 31 12 2009 2009-12-31 10.3233/978-1-58603-929-5-339 http://cs.swan.ac.uk/~csoliver/Artikel/p01c11_mus.pdf In Handbook of Satisfiability (ed. Biere, Armin; Heule, Marijn; van Maaren, Hans; Walsh, Toby) COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2013-10-17T14:52:35.7922259 2011-10-01T00:00:00.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Hans Kleine Buening 1 Oliver Kullmann 0000-0003-3021-0095 2
title Chapter 11: Minimal satisfiability and autarkies
spellingShingle Chapter 11: Minimal satisfiability and autarkies
Oliver Kullmann
title_short Chapter 11: Minimal satisfiability and autarkies
title_full Chapter 11: Minimal satisfiability and autarkies
title_fullStr Chapter 11: Minimal satisfiability and autarkies
title_full_unstemmed Chapter 11: Minimal satisfiability and autarkies
title_sort Chapter 11: Minimal satisfiability and autarkies
author_id_str_mv 2b410f26f9324d6b06c2b98f67362d05
author_id_fullname_str_mv 2b410f26f9324d6b06c2b98f67362d05_***_Oliver Kullmann
author Oliver Kullmann
author2 Hans Kleine Buening
Oliver Kullmann
format Book chapter
container_start_page 339
publishDate 2009
institution Swansea University
doi_str_mv 10.3233/978-1-58603-929-5-339
publisher IOS Press
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://cs.swan.ac.uk/~csoliver/Artikel/p01c11_mus.pdf
document_store_str 0
active_str 0
published_date 2009-12-31T03:03:18Z
_version_ 1763749500233449472
score 11.014067

Similar Items