Programming in Propositional Logic or Reductions: Back to the Roots (Satisfiability)

In this paper, NP-complete and polynomial solvable problems are reduced to the SAT-ISFIABILITY problem. We call this process \programming" in propositional logic. On the one hand, the programs (propositional formulas) derived by this process build a rich pool of easy and hard (non-random) formulas for SATISFIABILITY-solving heuristics. On the other hand, the implementations (programs) give rise to new heuristics for solving SATISFIABILITY.