共 50 条
- [11] SATISFIABILITY PROBLEMS FOR PROPOSITIONAL CALCULI MATHEMATICAL SYSTEMS THEORY, 1979, 13 (01): : 45 - 53
- [13] FINITARY AND INFINITARY INTERPRETATIONS OF LANGUAGES MATHEMATICAL SYSTEMS THEORY, 1982, 15 (03): : 251 - 265
- [14] ON A FINITENESS CONDITION FOR INFINITARY LANGUAGES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (02): : 425 - &
- [20] Symbolic Techniques in Propositional Satisfiability Solving THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 2 - 3