A new orchestral DPLL(T) approach for SMT over prime fields outperforms prior tools on ZKP compiler and circuit benchmarks by balancing completeness and efficiency across coordinated modules.
Journal of Pure and Applied Algebra 139(1), 61–88 (1999)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
A new orchestral DPLL(T) approach for SMT over prime fields outperforms prior tools on ZKP compiler and circuit benchmarks by balancing completeness and efficiency across coordinated modules.