5130 search results - page 70 / 1026 » Constraint Query Languages |
AICCSA
2006
IEEE
14 years 5 months ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
CONSTRAINTS
2008
13 years 11 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
WAIM
2007
Springer
14 years 5 months ago
2007
Springer
LICS
2000
IEEE
14 years 3 months ago
2000
IEEE
CAISE
1999
Springer
14 years 3 months ago
1999
Springer