LeanCSP certifies both parametric CSP reformulations and external solver certificates in Lean, yielding end-to-end (un)satisfiability without trusting solvers.
Title resolution pending
1 Pith paper cite this work, alongside 31 external citations. Polarity classification is still indexing.
1
Pith paper citing it
31
external citations · OpenAlex
fields
cs.AI 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean
LeanCSP certifies both parametric CSP reformulations and external solver certificates in Lean, yielding end-to-end (un)satisfiability without trusting solvers.