Sign in

Between Restarts and Backjumps.

Antonio RamosPeter van der TakMarijn Heule
Published in: SAT (2011)
Keyphrases
  • random walk
  • search problems
  • artificial intelligence
  • orders of magnitude
  • state space