On counting satisfying assignments via polynomial separation

Contributed by Scott Kominers

Source files

Download source .zip

Back to the main record