That's not true, the 'brute force' part is searching for a shortcut that works. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nutjob2 37 days ago \| parent \| context \| favorite \| on: Learn Prolog Now (2006) That's not true, the 'brute force' part is searching for a shortcut that works.

numpy-thagoras 37 days ago [–]

The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact