Optimal Base Encodings for Pseudo-Boolean Constraints.

Michael Codish Yoav Fekete Carsten Fuhs Peter Schneider-Kamp

Published in: TACAS (2011)

Keyphrases

pseudo boolean constraints
logic programming
orders of magnitude
sat encodings
evolutionary algorithm
general purpose
np complete