Improving Representative Computation in ExpliSAT

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03077-7_24 ◽

2013 ◽

pp. 359-364 ◽

Author(s):

Hana Chockler ◽

Dmitry Pidan ◽

Sitvanit Ruah

Download Full-text