iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/lics/DelannoyM22.rdf
Remi Delannoy and Kuldeep S. Meel: On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. (2022) conf/lics/DelannoyM22 10.1145/3531130.3533338 On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. 2 Remi Delannoy 1 Kuldeep S. Meel 2 17:1-17:10 LICS LICS 2022 2022 provenance information for RDF data of dblp record 'conf/lics/DelannoyM22' 2022-08-09T12:40:57+0200