SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic
Malay Ganai, Muralidhar Talupur, Aarti Gupta · Journal on Satisfiability Boolean Modeling and Computation · 2007
Existing difference logic (DL) solvers can be broadly classified as eager or lazy , each with its own merits and de-merits. We propose a novel difference logic solver SDSAT that combines the strengths of both these approaches and provides a robust pe