Solving SAT via Positive Supercompilation (hirrolot.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hirrolot.github.io: Solving SAT via Positive Supercompilation

First screen, captured 2 years ago.

Looks similar

Screenshot of philipzucker.com: SAT Solver Etudes I

SAT Solver Etudes I (philipzucker.com)

36 points by mathgenius 1 year ago | 12 comments

Screenshot of ochagavia.nl: Chasing a Bug in a SAT Solver

Chasing a Bug in a SAT Solver (ochagavia.nl)

66 points by wofo 2 years ago | 26 comments

Screenshot of vaibhavsagar.com: SATisfying Solutions to Difficult Problems

SATisfying Solutions to Difficult Problems (vaibhavsagar.com)

88 points by atilimcetin 1 year ago | 44 comments

Screenshot of mmaaz.ca: Solving Boolean satisfiability and integer programming with Python packaging

Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca)

72 points by mmaaz_98 1 year ago | 16 comments

Screenshot of buttondown.com: The Halting Problem is a terrible example of NP-Harder

The Halting Problem is a terrible example of NP-Harder (buttondown.com)

87 points by BerislavLopac 1 year ago | 92 comments

Screenshot of eli.thegreenplace.net: Notes on Lagrange Interpolating Polynomials

Notes on Lagrange Interpolating Polynomials (eli.thegreenplace.net)

34 points by ibobev 7 months ago | 9 comments