Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-53288-8_22 ◽

2020 ◽

pp. 463-484

Author(s):

Mate Soos ◽

Stephan Gocht ◽

Kuldeep S. Meel

Download Full-text