Generalizing Consistency and other Constraint Properties to Quantified Constraints

arXiv:0705.3561 · cs.LO, cs.AI · Submitted 2007-05-24 · Read on arXiv

cs.LO, cs.AI

Submitted: 2007-05-24

Updated: 2007-05-24

Journal ref: ACM Transactions on Computational Logic 10(3), pages 17:1--17:25, 2009

DOI: 10.1145/1507244.1507247

Terminology

• Consistency — 2× in this paper · explained in 3 episodes
• Constraint Satisfaction Problems — 1× in this paper

Related papers

• Formalizing Flag Algebras in Lean
• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
• A programming language combining quantum and classical control
• Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
• ADVENT: LLM-Driven Automatic Predicate Invention for ILP
• Encoder-Decoder Transformers: Logical Characterizations and Periodicity