View in EDS PDF Full Text

CCSAT:基于冲突驱动子句学习的电路求解器.

Saved in:
Bibliographic Details
Title: CCSAT:基于冲突驱动子句学习的电路求解器.
Alternate Title: CCSAT: circuit-based SAT solver using conflict-driven clause learning.
Authors: 罗茂1, 陈润尧'1, 黄意雯"2, 吴歆韵"1, 熊才权1, 柯远志1
Source: Application Research of Computers / Jisuanji Yingyong Yanjiu. May2026, Vol. 43 Issue 5, p1449-1455. 7p.
Database: Academic Search Ultimate
Description
ISSN:10013695
DOI:10.19734/j.issn.1001-3695.2025.09.0387