Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure (Q2895792)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure |
scientific article; zbMATH DE number 6052780
- Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure |
scientific article; zbMATH DE number 6052780 |
|
Statements
4 July 2012
0 references
autarkies
0 references
deficiency
0 references
satisfiability problem
0 references
constraint satisfaction problem
0 references
generalized clause-sets
0 references
signed formulas
0 references
non-Boolean variables
0 references
polynomial time
0 references
matching autarkies
0 references
lean clause-sets
0 references
generalised clause-sets
0 references
satisfiability
0 references
Boolean translations
0 references
direct encoding
0 references
irredundant clause-sets
0 references
minimally unsatisfiable clause-sets. deficiency
0 references
hitting clause-sets
0 references
disjoint DNF
0 references
Hermitian defect
0 references
nested translation
0 references
Constraint satisfaction problems in clausal form. II: Minimal unsatisfiability and conflict structure (English)
0 references
