Login / Signup

Foreword xiIntroduction to the Second DIMACS Challenge: Cliques, coloring, and satisfiability.

David S. JohnsonMichael A. Trick
Published in: Cliques, Coloring, and Satisfiability (1993)
Keyphrases
  • sat problem
  • satisfiability problem
  • highly competitive
  • special issue
  • np complete
  • phase transition
  • special case