Author of the publication

A Scalable and Nearly Uniform Generator of SAT Witnesses.

, , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 608-623. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining the k-CNF and XOR Phase-Transitions., , and . CoRR, (2017)Assessing Heuristic Machine Learning Explanations with Model Counting., , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 267-278. Springer, (2019)Scalable Quantitative Verification For Deep Neural Networks., , , and . CoRR, (2020)WAPS: Weighted and Projected Sampling., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 59-76. Springer, (2019)Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls., , and . IJCAI, page 3569-3576. IJCAI/AAAI Press, (2016)Bosphorus: Bridging ANF and CNF Solvers., , , and . DATE, page 468-473. IEEE, (2019)BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting., and . AAAI, page 1592-1599. AAAI Press, (2019)Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice., and . LICS, page 728-741. ACM, (2020)Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling., , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 463-484. Springer, (2020)Manthan: A Data-Driven Approach for Boolean Function Synthesis., , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 611-633. Springer, (2020)