BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its...

Proceedings of the AAAI Conference on Artificial Intelligence 2019 / 07 Vol. 33

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

Soos, Mate, Meel, Kuldeep S.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
33
Journal:
Proceedings of the AAAI Conference on Artificial Intelligence
DOI:
10.1609/aaai.v33i01.33011592
Date:
July, 2019
File:
PDF, 426 KB
2019
Conversion to is in progress
Conversion to is failed