SDSAT: Tight Integration of Small Domain Encoding and Lazy...

Journal on Satisfiability, Boolean Modeling and Computation 2007 / 06 Vol. 3; Iss. 1-2

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

Ganai, Malay K., Talupur, Muralidhar, Gupta, Aarti, Cook, Byron, Sebastiani, Roberto
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
3
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
DOI:
10.3233/sat190031
Date:
June, 2007
File:
PDF, 446 KB
2007
Conversion to is in progress
Conversion to is failed