4 search results - page 1 / 1 » Fast congruence closure and extensions |
IANDC
2007
13 years 4 months ago
2007
CAV
2004
Springer
13 years 10 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
SMA
2005
ACM
13 years 10 months ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...