Peek arc consistency

DOI10.1016/j.tcs.2009.07.059zbMath1186.68458OpenAlexW2028019552MaRDI QIDQ1044838

Hubie Chen, Manuel Bodirsky

Publication date: 15 December 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.07.059

zbMATH Keywords

constraint satisfactionconstraint languages

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (2)

Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems ⋮ Solving CSPs Using Weak Local Consistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consistency in networks of relations
• Theoretical analysis of singleton arc consistency and its extensions
• Classification of Homomorphisms to Oriented Cycles and of k-Partite Satisfiability
• MAX ONES Generalized to Larger Domains
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• Reasoning about set constraints applied to tractable inference in intuitionistic logic
• Datalog and Constraint Satisfaction with Infinite Templates
• Constraint Satisfaction Problems with Infinite Templates
• Principles and Practice of Constraint Programming – CP 2004
• Qualitative Temporal and Spatial Reasoning Revisited

This page was built for publication: Peek arc consistency