4 search results - page 1 / 1 » Fast congruence closure and extensions |
IANDC
2007
13 years 11 months ago
2007
CAV
2004
Springer
14 years 4 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 8 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
14 years 4 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, ...