On Parallel Scalable Uniform SAT Witness Generation

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46681-0_25 ◽

2015 ◽

pp. 304-319 ◽

Author(s):

Supratik Chakraborty ◽

Daniel J. Fremont ◽

Kuldeep S. Meel ◽

Sanjit A. Seshia ◽

Moshe Y. Vardi

Download Full-text