On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing | 0 | 0.34 | 2022 |
Distinct Elements in Streams: An Algorithm for the (Text) Book | 0 | 0.34 | 2022 |
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel | 0 | 0.34 | 2022 |
On the Usefulness of Linear Modular Arithmetic in Constraint Programming. | 0 | 0.34 | 2021 |
Engineering an Efficient PB-XOR Solver. | 0 | 0.34 | 2021 |
Induction Models on N. | 0 | 0.34 | 2020 |
WAPS: Weighted and Projected Sampling. | 0 | 0.34 | 2019 |