Login / Signup

New Encodings of Pseudo-Boolean Constraints into CNF.

Olivier BailleuxYacine BoufkhadOlivier Roussel
Published in: SAT (2009)
Keyphrases