A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.

Linda van Norden, Hans van Maaren

Browse the full CP paper archive.