SAT and SMT: Their Algorithm Designs and Applications.

Mizuhito Ogawa, To Van Khanh

Browse the full APSEC paper archive.