On generating all maximal independent sets
Information Processing Letters
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
PP is as hard as the polynomial-time hierarchy
SIAM Journal on Computing
Generalizations of Opt P to the polynomial hierarchy
Theoretical Computer Science
Polynomial-time 1-Turing reductions from #PH to #P
Theoretical Computer Science
The graph isomorphism problem: its structural complexity
The graph isomorphism problem: its structural complexity
A dichotomy theorem for maximum generalized satisfiability problems
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Complexity of generalized satisfiability counting problems
Information and Computation
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Closure properties of constraints
Journal of the ACM (JACM)
Theories of computability
The Inverse Satisfiability Problem
SIAM Journal on Computing
Structure in Approximation Classes
SIAM Journal on Computing
Complexity classifications of boolean constraint satisfaction problems
Complexity classifications of boolean constraint satisfaction problems
Introduction to Circuit Complexity: A Uniform Approach
Introduction to Circuit Complexity: A Uniform Approach
Propositional Logic: Deduction and Algorithms
Propositional Logic: Deduction and Algorithms
The Approximability of Constraint Satisfaction Problems
SIAM Journal on Computing
The First-Order Isomorphism Theorem
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Equivalence and Isomorphism for Boolean Constraint Satisfaction
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Dichotomy Theorem for the Generalized Unique Satisfiability Problem
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Journal of Computer and System Sciences - Special issue on PODS 2000
The Optimization Complexity of Constraint Satisfaction Problems
The Optimization Complexity of Constraint Satisfaction Problems
Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem
FOCS '03 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science
Optimal satisfiability for propositional calculi and constraint satisfaction problems
Information and Computation
The complexity of minimal satisfiability problems
Information and Computation
An Algebraic Approach to the Complexity of Propositional Circumscription
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
The Complexity of Boolean Constraint Satisfaction Local Search Problems
Annals of Mathematics and Artificial Intelligence
Undirected ST-connectivity in log-space
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Recognizing frozen variables in constraint satisfaction problems
Theoretical Computer Science
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
A Complete Classification of the Complexity of Propositional Abduction
SIAM Journal on Computing
A rendezvous of logic, complexity, and algebra
ACM SIGACT News
Subtractive reductions and complete problems for counting complexity classes
Theoretical Computer Science - Mathematical foundations of computer science 2000
Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics)
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Parameterized complexity of constraint satisfaction problems
Computational Complexity
Computational Complexity of Constraint Satisfaction
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Structure identification of Boolean relations and plain bases for co-clones
Journal of Computer and System Sciences
The equivalence problem for regular expressions with squaring requires exponential space
SWAT '72 Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)
Partial Polymorphisms and Constraint Satisfaction Problems
Complexity of Constraints
Propositional abduction is almost always hard
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Information Processing Letters
Complexity of default logic on generalized conjunctive queries
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Enumerating all solutions for constraint satisfaction problems
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
On the boolean connectivity problem for horn relations
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
An algebraic approach to the complexity of generalized conjunctive queries
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
The connectivity of boolean satisfiability: computational and structural dichotomies
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
The complexity of satisfiability problems: refining Schaefer's theorem
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Partial Polymorphisms and Constraint Satisfaction Problems
Complexity of Constraints
Preprocessing of min ones problems: a dichotomy
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Enumerating all solutions of a boolean CSP by non-decreasing weight
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Minimization for generalized Boolean formulas
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Hi-index | 0.00 |
The propositional satisfiability problem SAT, i.e., the problemto decide, given a propositional formula φ (without loss ofgenerality in conjunctive normal form CNF), if there is anassignment to the variables in φ that satisfies φ, is thehistorically first and standard NP-complete problem [Coo71].However, there are well-known syntactic restrictions for whichsatisfiability is efficiently decidable, for example if everyclause in the CNF formula has at most two literals (2CNF formulas)or if every clause has at most one positive literal (Horn formulas)or at most one negative literal (dual Horn formulas), see [KL99].To study this phenomenon more generally, we study formulas with“clauses” of arbitrary shapes, i.e., consisting ofapplying arbitrary relations R ⊆ {0,1} k to (notnecessarily distinct) variables x 1,...,x k . A constraint languageΓ is a finite set of such relations. In the rest of thischapter, Γ and Γ′ will always denote Booleanconstraint languages. A Γ-formula is a conjunction of clausesR(x 1,...,x k ) as above using only relations R from Γ. Thefor us central family of algorithmic problems, parameterized by aconstraint language Γ, now is the problem to determinesatisfiability of a given Γ-formula, denoted byCsp(Γ).