1353 search results - page 18 / 271 » Streamlined Constraint Reasoning |
PLILP
1998
Springer
15 years 1 months ago
1998
Springer
62
Voted
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
IJCAI
2007
14 years 11 months ago
2007
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often ...
170
click to vote
ICSE
2012
IEEE-ACM
13 years 2 days ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
105
click to vote
CP
2007
Springer
15 years 3 months ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...