Satisfiability of the Smallest Binary Program.

Philipp Hanschke Jörg Würtz

Published in: Inf. Process. Lett. (1993)

Keyphrases

satisfiability problem
propositional logic
np complete
decision procedures
search space
phase transition
binary classifiers
non binary
programming environment
symmetry breaking