Call for Papers – SAT 2020
The 23rd International Conference on Theory and Applications of Satisfiability Testing
A sharing platform for the Computer-Aided Verification community
The 23rd International Conference on Theory and Applications of Satisfiability Testing