共 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., 2008, J. Satisfiability, Boolean Modeling and Computation, V4, P75
[7]
Evaluating CDCL Variable Scoring Schemes
[J].
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015,
2015, 9340
:405-422
[9]
Clochard Martin, 2020, P POPL
[10]
Superposition with Structural Induction
[J].
FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017),
2017, 10483
:172-188