中图分类号：TP391 文献标志码：A 文章编号：1001-3695（2026）05-022-1449-07

doi： 10.19734/j.issn.1001-3695.2025.09.0387

CCSAT： circuit-based SAT solver using conflict-driven clause learning

Luo Mao &n（试读）...