共 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
- [3] ALGORITHMS FOR TESTING THE SATISFIABILITY OF PROPOSITIONAL FORMULAS [J]. JOURNAL OF LOGIC PROGRAMMING, 1989, 7 (01): : 45 - 61
- [4] Satisfiability testing for boolean formulas using Δ-trees [J]. Studia Logica, 2002, 72 (1) : 85 - 112
- [5] Testing the Satisfiability of Formulas in Separation Logic with Permissions [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 427 - 445
- [8] Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements [J]. Problems of Information Transmission, 2023, 59 : 57 - 62
- [9] Testing satisfiability of CNF formulas by computing a stable set of points [J]. Annals of Mathematics and Artificial Intelligence, 2005, 43 : 65 - 89
- [10] Satisfiability of bright formulas [J]. Ukrainian Mathematical Journal, 2007, 59 (10) : 1606 - 1610