5130 search results - page 70 / 1026 » Constraint Query Languages |
101
Voted
AICCSA
2006
IEEE
15 years 6 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 ...
125
Voted
CONSTRAINTS
2008
15 years 22 days 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...
78
Voted
WAIM
2007
Springer
15 years 6 months ago
2007
Springer
63
Voted
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
72
Voted
CAISE
1999
Springer
15 years 5 months ago
1999
Springer