Hacker News
Linked pages
- Perlisisms - "Epigrams in Programming" by Alan J. Perlis http://cs.yale.edu/homes/perlis-alan/quotes.html 84 comments
- GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT 83 comments
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- Understanding SAT by Implementing a Simple SAT Solver in Python http://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html 30 comments
- DPLL algorithm - Wikipedia https://en.wikipedia.org/wiki/DPLL_algorithm 5 comments
- NP-completeness - Wikipedia https://en.wikipedia.org/wiki/NP-completeness 0 comments
- https://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa08/slides/barret2_smt.pdf 0 comments
- Conflict-driven clause learning - Wikipedia https://en.wikipedia.org/wiki/Conflict-Driven_Clause_Learning 0 comments
Related searches:
Search whole site: site:www.philipzucker.com
Search title: SAT Solver Etudes I | Hey There Buddo!
See how to search.