2 search results - page 1 / 1 » A Fast Linear-Arithmetic Solver for DPLL(T) |
CAV
2006
Springer
13 years 8 months ago
2006
Springer
CP
2001
Springer
13 years 9 months ago
2001
Springer
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...