| No. |
Title |
Author |
Year |
| 1 |
Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? |
Chakraborty, Diptarka et al. |
2023 |
| 2 |
Explaining SAT Solving Using Causal Reasoning |
Yang, Jiong et al. |
2023 |
| 3 |
Support Size Estimation: The Power of Conditioning |
Chakraborty, Diptarka et al. |
2023 |
| 4 |
Distinct Elements in Streams: An Algorithm for the (Text) Book |
Chakraborty, Sourav et al. |
2022 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Meel, Kuldeep S. et al. |
2022 |
| 6 |
LIPIcs, Volume 236, SAT 2022, Complete Volume |
Meel, Kuldeep S. et al. |
2022 |
| 7 |
On Quantitative Testing of Samplers |
Soos, Mate et al. |
2022 |
| 8 |
Engineering an Efficient PB-XOR Solver |
Yang, Jiong et al. |
2021 |
| 9 |
On Hashing-Based Approaches to Approximate DNF-Counting |
Meel, Kuldeep S. et al. |
2018 |
