Machine-translated by Google. Questions are authored in English.
Top

Discussion

Why does restarting help when combined with learning?

  • A.The no-goods learned are kept while the bad branch is abandoned
  • B.Restarting reduces the memory the search requires
  • C.Each restart explores a strictly smaller search space
  • D.Restarts guarantee that the search will terminate sooner

Answer: A

Without learning a restart would repeat the same work, but with the recorded no-goods the search is genuinely further forward and avoids the region that caused the trouble. Together the two techniques transformed satisfiability solving. Memory rises, the space is not provably smaller, and termination is not guaranteed sooner. Two techniques that are each modest alone and transformative together are worth noticing as a pair rather than individually.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.