Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency (Q2895792): Difference between revisions

Latest revision as of 10:07, 6 May 2024

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	Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure

Statements

instance of

scholarly article

0 references

title

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

author

Oliver Kullmann

0 references

published in

Fundamenta Informaticae

0 references

publication date

4 July 2012

0 references

full work available at URL

https://arxiv.org/abs/1103.3693

0 references

zbMATH Keywords

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

describes a project that uses

tawSolver

0 references

MaRDI profile type

MaRDI publication profile

0 references

Identifiers

zbMATH Open document ID

0 references

0 references

0 references

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2895792

@@ aliases / en / 0 / aliases / en / 0 @@
+Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6052780
@@ Property / title @@
+Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68290
@@ Property / zbMATH Open document ID: 1242.68290 / rank @@
+Normal rank
@@ Property / DOI @@
+.3233/FI-2011-429
@@ Property / DOI: 10.3233/FI-2011-429 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6052780
@@ Property / zbMATH DE Number: 6052780 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalised clause-sets
@@ Property / zbMATH Keywords: generalised clause-sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean translations
@@ Property / zbMATH Keywords: Boolean translations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+direct encoding
@@ Property / zbMATH Keywords: direct encoding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+irredundant clause-sets
@@ Property / zbMATH Keywords: irredundant clause-sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+minimally unsatisfiable clause-sets. deficiency
+Normal rank
@@ Property / zbMATH Keywords @@
+hitting clause-sets
@@ Property / zbMATH Keywords: hitting clause-sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+disjoint DNF
@@ Property / zbMATH Keywords: disjoint DNF / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hermitian defect
@@ Property / zbMATH Keywords: Hermitian defect / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nested translation
@@ Property / zbMATH Keywords: nested translation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+tawSolver
@@ Property / describes a project that uses: tawSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3693
@@ Property / arXiv ID: 1103.3693 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2895792