Login / Signup

Satisfiability of 3CNF formulas with small clause/variable-ratio.

Kazuo IwamaKazuya Takaki
Published in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
  • cnf formula
  • np complete
  • max sat
  • sat problem
  • boolean formula
  • knowledge compilation
  • conjunctive normal form
  • davis putnam
  • satisfiability problem
  • truth assignment
  • special case
  • neural network
  • search algorithm