共 41 条
[1]
Asadi Sepideh, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD), P77, DOI 10.34727/2020/isbn.978-3-85448-042-6_14
[2]
Bachmair L., 1994, Journal of Logic and Computation, V4, P217, DOI 10.1093/logcom/4.3.217
[3]
cvc5: A Versatile and Industrial-Strength SMT Solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I,
2022, 13243
:415-442
[4]
Barthe G, 2019, 2019 FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), P170, DOI 10.23919/FMCAD.2019.8894277
[6]
Biere A., 2019, DEP COMPUTER SCI S B, P8
[7]
Biere A., 2008, Journal on Satisfiability, Boolean Modeling and Computation, V4, P75, DOI 10.3233/sat190039
[8]
Evaluating CDCL Variable Scoring Schemes
[J].
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015,
2015, 9340
:405-422
[10]
Clochard Martin, 2020, P POPL