Skip to content

On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing.

Remi Delannoy, Kuldeep S. Meel

VenueA*LICS
Year2022
ProceedingsLICS

Browse the full LICS paper archive.