Cyclic consistency: A local reduction operation for binary valued constraints

DOI10.1016/J.ARTINT.2003.06.004MaRDI QIDQ814586zbMATH OpenOpenAlexFDO

Authors M. C. Cooper

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2003.06.004

zbMATH Keywords

Arc consistencyConstraint propagationIn-scope reductionsLocal irreducibilityMAX-CSPPath consistencyValued constraint satisfaction problem (VCSP)

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Fuzzy and other nonstochastic uncertainty mathematical programming (90C70)

Recommendations

• High-order consistency in valued constraint satisfaction
• Arc consistency for soft constraints
• Reduction operations in fuzzy or valued constraint satisfaction
• Constraints, consistency and closure
• Soft arc consistency revisited

Cites work

• scientific article; zbMATH DE number 2080322 (Why is no real title available?)
• An optimal k-consistency algorithm
• Arc consistency for soft constraints
• Comments on Mohr and Henderson's path consistency algorithm
• Linear-time algorithms for testing the realisability of line drawings of curved objects
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Maintaining reversible DAC for Max-CSP
• Reduction operations in fuzzy or valued constraint satisfaction
• Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
• Semiring-based constraint satisfaction and optimization

Cited in

(5)

• Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited
• Super-reparametrizations of weighted CSPs: properties and optimization perspective
• High-order consistency in valued constraint satisfaction
• Reduction operations in fuzzy or valued constraint satisfaction
• Soft arc consistency revisited

This page was built for publication: Cyclic consistency: A local reduction operation for binary valued constraints

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