SAT Solvers as Smart Search Engines

Article URL: https://www.msoos.org/2019/02/sat-solvers-as-smart-search-engines/

Comments URL: https://news.ycombinator.com/item?id=19159077

Points: 20

# Comments: 1

from Hacker News: Front Page http://bit.ly/2I8FWuv
via