Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic
SMT, 2007.
@article{SMT-J-2006-GanaiTG,
author = "Malay K. Ganai and Muralidhar Talupur and Aarti Gupta",
ee = "http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_6_Ganai.pdf",
journal = "{Journal on Satisfiability, Boolean Modeling and Computation}",
number = "1-2",
pages = "91--114",
title = "{SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic}",
volume = 3,
year = 2007,
}