resolution-width

Here is 1 public repository matching this topic...

jesusvilela / lambda-sat-solver

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 21, 2026
Python

Improve this page

Add a description, image, and links to the resolution-width 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 resolution-width topic, visit your repo's landing page and select "manage topics."

Learn more