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

Published in: J. Satisf. Boolean Model. Comput. (2007)

Keyphrases