Recent Results on the Algebraic Approach to the CSP

14 years 10 days ago

Download www.math.mcmaster.ca

Abstract. We describe an algebraic approach to the constraint satisfaction problem (CSP) and present recent results on the CSP that make use of, in an essential way, this algebraic framework.

Andrei A. Bulatov, Matthew Valeriote

Real-time Traffic

Algebraic Approach | Algebraic Framework | Constraint Satisfaction Problem | DAGSTUHL 2008 | Software Engineering |

claim paper

» Recent Applications of Conformal Geometric Algebra

» Verifying Controlled Components

» Optimal Rectangle Packing A MetaCSP Approach

» Decomposition of Multioperator Queries on SemiringBased Graphical Models

» On the Scope of the UniversalAlgebraic Approach to Constraint Satisfaction

» Approximations and Randomization to Boost CSP Techniques

» Algebraiccoalgebraic specification in CoCasl

» Optimizing Algebraic Tableau Reasoning for SHOQ First Experimental Results

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	DAGSTUHL
Authors	Andrei A. Bulatov, Matthew Valeriote

Comments (0)

Sciweavers

Recent Results on the Algebraic Approach to the CSP

Algebraic Approach | Algebraic Framework | Constraint Satisfaction Problem | DAGSTUHL 2008 | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers