Consistency for counting quantifiers

DOI10.4230/LIPICS.MFCS.2018.11MaRDI QIDQ5005107zbMATH OpenFDO

Authors Florent R. Madelaine, Barnaby Martin

Publication date 4 August 2021

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2018.11

zbMATH Keywords

computational complexityconstraint satisfactionlogic in computer scienceuniversal algebraquantified constraints

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Constraint satisfaction with counting quantifiers
• Constraint satisfaction with counting quantifiers
• Constraint satisfaction with counting quantifiers. II
• The complexity of the counting constraint satisfaction problem
• Towards a dichotomy theorem for the counting constraint satisfaction problem

Cites work

• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 979011 (Why is no real title available?)
• scientific article; zbMATH DE number 6930501 (Why is no real title available?)
• scientific article; zbMATH DE number 2117181 (Why is no real title available?)
• scientific article; zbMATH DE number 6028114 (Why is no real title available?)
• A Sufficient Condition for Backtrack-Free Search
• An optimal lower bound on the number of variables for graph identification
• Bi‐arc graphs and the complexity of list homomorphisms
• Classifying the Complexity of Constraints Using Finite Algebras
• Constraint satisfaction with counting quantifiers
• Constraints, consistency and closure
• List homomorphisms and circular arc graphs
• Near-Unanimity Functions and Varieties of Reflexive Graphs
• Surjective \texttt{H}-colouring over reflexive digraphs
• The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

Cited in

(4)

• Constraint satisfaction with counting quantifiers
• Constraint satisfaction with counting quantifiers
• scientific article; zbMATH DE number 4006240 (Why is no real title available?)
• Constraint satisfaction with counting quantifiers. II

This page was built for publication: Consistency for counting quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5005107)