• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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