共 50 条
- [1] Algorithms for Testing Satisfiability Formulas [J]. Artificial Intelligence Review, 2001, 15 : 153 - 163
- [2] Algorithms for testing satisfiability formulas [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2001, 15 (03) : 153 - 163
- [4] ALGORITHMS FOR TESTING THE SATISFIABILITY OF PROPOSITIONAL FORMULAS [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (01): : 45 - 61
- [5] Compositional Satisfiability Solving in Separation Logic [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 578 - 602
- [8] Satisfiability testing for boolean formulas using Δ-trees [J]. Studia Logica, 2002, 72 (1) : 85 - 112
- [9] A method to generate formulas for temporal logic satisfiability checkers [J]. ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS, 2007, 90 (11): : 99 - 108
- [10] Reasoning over Permissions Regions in Concurrent Separation Logic [J]. COMPUTER AIDED VERIFICATION, PT II, 2020, 12225 : 203 - 224