A
Menu
July 17, 2019 conference-paper Open access

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

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v33i01.33011592 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 94

1 result

References 0