Login / Signup

Improved Boolean Formulas for the Ramsey Graphs.

Petr Savický
Published in: Random Struct. Algorithms (1995)
Keyphrases
  • boolean formula
  • data structure
  • practical problems
  • unsatisfiable cores