Full CNF Encoding: The Counting Constraints Case.

Olivier Bailleux Yacine Boufkhad

Published in: SAT (2004)

Keyphrases

boolean functions
neural network
scheduling problem
model counting
weighted model counting