SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic.

Malay K. Ganai Muralidhar Talupur Aarti Gupta SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic. 91-114 2007 3 JSAT 1-2 http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_6_Ganai.pdf db/journals/jsat/jsat3.html#GanaiTG07