![](/img/cover-not-exists.png)
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic
Ganai, Malay K., Talupur, Muralidhar, Gupta, Aarti, Cook, Byron, Sebastiani, RobertoVolume:
3
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190031
Date:
June, 2007
File:
PDF, 446 KB
2007