Is there a standard book or lecture that explains the stuff like conflict clause... | Hacker News

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

		calf on May 20, 2019 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused Is there a standard book or lecture that explains the stuff like conflict clauses and literal watch? I see informal tutorials but something more fully explained, but not overly technical would be useful for people interested in applications. Just something in between blog posts and having to read the original technical papers.

bayesian_horse on May 20, 2019 [–]

The barrier to entry seems extremely high. Most "example" problems already require arcane domain knowledge.

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