No Cover Image

Journal article 51 views

Chapter 14. Minimal Unsatisfiability and Autarkies

Hans Kleine Büning, Oliver Kullmann Orcid Logo

Frontiers in Artificial Intelligence and Applications, Volume: 336

Swansea University Author: Oliver Kullmann Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.3233/faia200997

Published in: Frontiers in Artificial Intelligence and Applications
ISSN: 0922-6389 1879-8314
Published: IOS Press 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa70991
first_indexed 2025-11-26T16:01:50Z
last_indexed 2026-01-16T05:32:54Z
id cronfa70991
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2026-01-15T20:17:56.5950116</datestamp><bib-version>v2</bib-version><id>70991</id><entry>2025-11-26</entry><title>Chapter 14. Minimal Unsatisfiability 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>2025-11-26</date><deptcode>MACS</deptcode><abstract/><type>Journal Article</type><journal>Frontiers in Artificial Intelligence and Applications</journal><volume>336</volume><journalNumber/><paginationStart/><paginationEnd/><publisher>IOS Press</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0922-6389</issnPrint><issnElectronic>1879-8314</issnElectronic><keywords/><publishedDay>2</publishedDay><publishedMonth>2</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-02-02</publishedDate><doi>10.3233/faia200997</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2026-01-15T20:17:56.5950116</lastEdited><Created>2025-11-26T10:34:57.9418918</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>B&#xFC;ning</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 2026-01-15T20:17:56.5950116 v2 70991 2025-11-26 Chapter 14. Minimal Unsatisfiability and Autarkies 2b410f26f9324d6b06c2b98f67362d05 0000-0003-3021-0095 Oliver Kullmann Oliver Kullmann true false 2025-11-26 MACS Journal Article Frontiers in Artificial Intelligence and Applications 336 IOS Press 0922-6389 1879-8314 2 2 2021 2021-02-02 10.3233/faia200997 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Not Required 2026-01-15T20:17:56.5950116 2025-11-26T10:34:57.9418918 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Hans Kleine Büning 1 Oliver Kullmann 0000-0003-3021-0095 2
title Chapter 14. Minimal Unsatisfiability and Autarkies
spellingShingle Chapter 14. Minimal Unsatisfiability and Autarkies
Oliver Kullmann
title_short Chapter 14. Minimal Unsatisfiability and Autarkies
title_full Chapter 14. Minimal Unsatisfiability and Autarkies
title_fullStr Chapter 14. Minimal Unsatisfiability and Autarkies
title_full_unstemmed Chapter 14. Minimal Unsatisfiability and Autarkies
title_sort Chapter 14. Minimal Unsatisfiability and Autarkies
author_id_str_mv 2b410f26f9324d6b06c2b98f67362d05
author_id_fullname_str_mv 2b410f26f9324d6b06c2b98f67362d05_***_Oliver Kullmann
author Oliver Kullmann
author2 Hans Kleine Büning
Oliver Kullmann
format Journal article
container_title Frontiers in Artificial Intelligence and Applications
container_volume 336
publishDate 2021
institution Swansea University
issn 0922-6389
1879-8314
doi_str_mv 10.3233/faia200997
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
document_store_str 0
active_str 0
published_date 2021-02-02T05:34:09Z
_version_ 1856987043597385728
score 11.096172

Similar Items