TThe satisfiability problemThe satisfiability problemde P. L. HammerMateriasComputer algorithmsPropositional calculusDecision makingBoolean AlgebraEdiciones (1)The satisfiability problem (1999)Elsevier · inglésMás obras de P. L. HammerDiscrete optimizationPseudo-Boolean methods for bivalent programming1966Pseudo-Boolean programming and applications1965