Login / Signup

Satisfiability and Computing van der Waerden Numbers.

Michael R. DransfieldV. Wiktor MarekMiroslaw Truszczynski
Published in: SAT (2003)
Keyphrases
  • van der
  • computational complexity
  • np complete
  • satisfiability problem
  • propositional logic
  • data mining
  • artificial intelligence
  • similarity measure
  • relational databases
  • real numbers
  • quantified boolean formulas