共 22 条
- [1] AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
- [2] BORALV A, 1997, LECT NOTES COMPUT SC, V1554, P7
- [3] BOWEN JP, 1994, LNCS, V873, P105
- [4] BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
- [5] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J]. JOURNAL OF THE ACM, 1960, 7 (03) : 201 - 215
- [7] DERSHOWITZ N, 1990, FORMAL MODELS SEMANT, V2, pCH6
- [8] Freeman J. W., 1995, Improvements to Propositional Satisfiability Search Algorithms
- [9] GESER A, 1997, RISC LINZ REPORT SER
- [10] HSIANG J, 1982, THESIS U ILLINOIS UR