8 search results - page 2 / 2 » Verification of qualitative Z constraints |
SPATIALCOGNITION
2000
Springer
15 years 29 days ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
89
Voted
CONSTRAINTS
2010
14 years 6 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...