Assignment precipitation in fail first search
MetadataShow full item record
Within a fail first search, we relocate assignments towards the bottom of the upward-growing assignment stack. We do that when the related variables, due to search dynamics, become more constrained than were anticipated before. This fixes early variable selection mistakes.
Lecture Notes in Computer Science
Information and Computing Sciences not elsewhere classified