Output details
11 - Computer Science and Informatics
Swansea University
Return to search
Output 0 of 0 in the submission
Article title
Constraint satisfaction problems in clausal form I: Autarkies and deficiency.
Type
D - Journal article
Title of journal
Fundamenta Informaticae
Article number
-
Volume number
109
Issue number
1
First page of article
27
ISSN of journal
0169-2968
Year of publication
2011
URL
-
Number of additional authors
0
Additional information
<11> This paper generalises the theory of autarkies, to which the author has made substantial contributions, as witnessed by his chapter in the Handbook of Satisfiability (IOS Press, 2009). The generalisation to a non-boolean context creates for the first time a solid foundation for working with non-boolean conjunctive normal forms (begun in the 1990s). Also a completion of the basic theory for the boolean case is achieved regarding the connections to Matching Theory.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
