Login / Signup

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.

John V. FrancoMichal KourilJohn S. SchlipfSean A. WeaverMichael R. DransfieldW. Mark Vanfleet
Published in: J. Univers. Comput. Sci. (2004)
Keyphrases
  • search heuristics
  • constraint programming
  • search algorithm
  • data structure
  • orders of magnitude
  • tabu search
  • search strategy
  • search strategies
  • satisfiability problem
  • beam search