Sign in

Improved Randomized Algorithms for 3-SAT.

Kazuo IwamaKazuhisa SetoTadashi TakaiSuguru Tamaki
Published in: ISAAC (1) (2010)
Keyphrases
  • randomized algorithms
  • lower bound
  • search algorithm
  • approximation algorithms
  • satisfiability problem
  • sat solvers
  • machine learning
  • linear programming