Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency (Q2895792)
From MaRDI portal
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 I: Autarkies and Deficiency |
scientific article; zbMATH DE number 6052780 |
|
Statements
Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency (English)
0 references
Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure (English)
0 references
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
