| No. |
Title |
Author |
Year |
| 1 |
Distinct Elements in Streams: An Algorithm for the (Text) Book |
Chakraborty, Sourav et al. |
2022 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Meel, Kuldeep S. et al. |
2022 |
| 3 |
LIPIcs, Volume 236, SAT 2022, Complete Volume |
Meel, Kuldeep S. et al. |
2022 |
| 4 |
On Quantitative Testing of Samplers |
Soos, Mate et al. |
2022 |
| 5 |
Engineering an Efficient PB-XOR Solver |
Yang, Jiong et al. |
2021 |
| 6 |
On Hashing-Based Approaches to Approximate DNF-Counting |
Meel, Kuldeep S. et al. |
2018 |
