TSAT++

swMATH21350MaRDI QIDQ33158FDOQ33158

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S157106610505070X

Cited In (4)

• Modelling and solving temporal reasoning as propositional satisfiability
• The SAT-based approach to separation logic
• CVC
• \textsf{TSAT++}: an open platform for satisfiability modulo theories

This page was built for software: TSAT++