Skip to content
#

nullstellensatz

Star

Here is 1 public repository matching this topic...

jesusvilela / lambda-sat-solver

Star 1

Certified frame-first SAT middleware — decide structured regions (2-SAT · GF(2) parity · counting) before CDCL, and independently verify every verdict (model replay · DRAT). A research harness for where SAT hardness lives.

python lambda-calculus sat-solver formal-verification drat computational-complexity boolean-satisfiability proof-checking satisfiability cdcl cryptominisat constraint-solving kissat nullstellensatz certified-solving resolution-width
  • Updated Jul 12, 2026
  • Python

Improve this page

Add a description, image, and links to the nullstellensatz topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the nullstellensatz topic, visit your repo's landing page and select "manage topics."

Learn more