38 search results - page 1 / 8 » Recent Results on the Algebraic Approach to the CSP |
DAGSTUHL
2008
14 years 10 days ago
2008
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...
ICALP
2007
Springer
14 years 5 months ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...
GIAE
2004
Springer
14 years 4 months ago
2004
Springer
We discuss a new covariant approach to geometry, called conformal geometric algebra, concentrating particularly on applications to projective geometry and new hybrid geometries. In...
IFM
2004
Springer
14 years 4 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
AIPS
2006
14 years 9 days ago
2006
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...