Login / Signup

Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem - (Extended Abstract).

Iddo Tzameret
Published in: ICALP (1) (2014)
Keyphrases
  • extended abstract
  • learning algorithm
  • combinatorial optimization
  • genetic algorithm
  • data structure
  • computational complexity
  • orders of magnitude