SDSAT

swMATH842MaRDI QIDQ13587FDOQ13587

Author name not available (Why is that?)

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 (1)

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

This page was built for software: SDSAT