conftrace_

near-uniform sampling

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

satisfiability solving (1) sat solver (1) sampling algorithm (1) xor constraint (1) combinatorial problem (1) combinatorial sampling (1) uniform sampling (1) markov chain monte carlo (1) boolean satisfiability (1) combinatorial optimization (1)

Papers

Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints NeurIPS 2006