Optimal Base Encodings for Pseudo-Boolean Constraints

Michael Codish Yoav Fekete Carsten Fuhs Peter Schneider-Kamp

Published in: CoRR (2010)

Keyphrases

pseudo boolean constraints
logic programming
optimal solution
dynamic programming
sat encodings
expert systems
np complete