Login / Signup

Some Typical Properties of Large AND/OR Boolean Formulas.

Hanno LefmannPetr Savický
Published in: MFCS (1995)
Keyphrases
  • boolean formula
  • sat solvers
  • genetic algorithm
  • search algorithm
  • linear programming
  • np complete