Sciweavers

68
Voted
CAV
2005
Springer

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

15 years 2 months ago
DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic
Robert Nieuwenhuis, Albert Oliveras
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Robert Nieuwenhuis, Albert Oliveras
Comments (0)