共 15 条
- [1] [Anonymous], 2015, CORR
- [2] [Anonymous], 2016, SATISFIABILITY CHECK
- [3] Bercher P., 2009, SOLVING NONDETERMINI, P57
- [4] Bounded model checking [J]. Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 457 - 481
- [9] KAUTZ H, 1992, ECAI 92 - 10TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE : PROCEEDINGS, P359