Login / Signup

Breaking the PPSZ Barrier for Unique 3-SAT.

Timon Hertli
Published in: ICALP (1) (2014)
Keyphrases
  • sat problem
  • search algorithm
  • satisfiability problem
  • sat solvers
  • knowledge base
  • data mining
  • artificial intelligence
  • np complete
  • search strategies
  • max sat
  • stochastic local search
  • boolean satisfiability