Local consistency for extended CSPs

DOI10.1016/J.TCS.2009.07.042zbMATH Open1187.68556OpenAlexW2140769824MaRDI QIDQ1035707FDOQ1035707

Authors: Michael J. Maher 

Publication date: 4 November 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.042

Recommendations

• A synthesis of constraint satisfaction and constraint solving
• scientific article; zbMATH DE number 2080322
• Constraints, consistency and closure
• Constraint satisfaction -- algorithms and complexity analysis
• Local consistency and SAT-solvers

zbMATH Keywords

constraint programmingconstraint satisfaction problemlocal consistencyarc consistencypairwise consistency

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Algorithm 852
• CLAIRE: combining sets, search and rules to better express algorithms
• A gentle introduction to Numerica
• Temporal constraint networks
• Introducing global constraints in CHIP
• Title not available (Why is that?)
• Domain filtering consistencies
• Title not available (Why is that?)
• On the Desirability of Acyclic Database Schemes
• Title not available (Why is that?)
• Networks of constraints: Fundamental properties and applications to picture processing
• A sufficient condition for backtrack-bounded search
• Title not available (Why is that?)
• Applying interval arithmetic to real, integer, and boolean constraints
• Theory and practice of constraint handling rules
• A synthesis of constraint satisfaction and constraint solving
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Title not available (Why is that?)
• Local and global relational consistency
• Synthesizing constraint expressions
• Generalized constraint propagation over the CLP scheme
• On the complexity of join dependencies
• Logic programming in the context of multiparadigm programming: the Oz experience
• Principles and Practice of Constraint Programming – CP 2004
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Intermediary local consistencies
• A synthesis of constraint satisfaction and constraint solving
• A Generic Framework for Local Search: Application to the Sudoku Problem
• Local consistency and SAT-solvers
• Contractibility for open global constraints

Uses Software

• CLAIRE
• CHIP
• RealPaver
• Numerica

This page was built for publication: Local consistency for extended CSPs

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