SDSAT

MaRDI QIDQ13587swMATHFDO

Official website http://www.cs.cmu.edu/~tmurali/pubs/sdsat.pdf

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• CCAnr
• SDSAT: Tight integration of small domain encoding and lazy approaches in solving difference logic.

This page was built for software: SDSAT