6456 search results - page 33 / 1292 » Constraint Solving on Terms |
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
ICTAI
2008
IEEE
2008
IEEE
Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
15 years 4 months ago
GLVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
