Login / Signup

Cores in random hypergraphs and Boolean formulas.

Michael Molloy
Published in: Random Struct. Algorithms (2005)
Keyphrases
  • boolean formula
  • linear constraints
  • np complete
  • sat solvers
  • membership queries
  • objective function
  • dynamic programming
  • conjunctive normal form