- Tytuł:
- Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
- Autorzy:
- Kullmann, O.
- Data publikacji:
- 2011
- Słowa kluczowe:
-
generalised clause-sets
satisfiability
non-boolean variables
boolean translations
direct ecoding
irredundant clause-sets
minimally unsatisfiable clause-sets
deficiency
hitting clause-sets
disjoint DNF
hermitian defect
nested translation - Pokaż więcej
- Dostawca treści:
- BazTech