Re:The International SAT Competition Web Page
by fovc on Monday September 18, 2023 @10:04AM
(#37556274)
> Why do you backtrack when you hit a book?
Because I usually don’t own those books and don’t have a university library
> Often there are papers like '[topic] simplified' etc, and they can be quite useful.
Yes! This is adding heuristics on top of the basic algorithm, of which there are many useful ones. (Figure out who the field luminaries are, what the best journals/conferences were, etc.)
Because I usually don’t own those books and don’t have a university library
> Often there are papers like '[topic] simplified' etc, and they can be quite useful.
Yes! This is adding heuristics on top of the basic algorithm, of which there are many useful ones. (Figure out who the field luminaries are, what the best journals/conferences were, etc.)