Login / Signup

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

Linda van NordenHans van Maaren
Published in: CP (2002)
Keyphrases
  • search tree
  • linear programming
  • sat solving
  • search algorithm
  • tree search
  • search space
  • propositional logic
  • np hard
  • branch and bound algorithm
  • lower bound
  • mobile robot
  • multi dimensional
  • sat solvers
  • unit propagation