Login / Signup

Relative size of certain polynomial time solvable subclasses of satisfiability.

John Franco
Published in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
  • computational complexity
  • satisfiability problem
  • computational properties
  • information retrieval
  • special case
  • databases
  • data mining
  • genetic algorithm
  • information systems