共 50 条
- [22] Focus games for satisfiability and completeness of temporal logic 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 357 - 365
- [23] Satisfiability in Boolean Logic (SAT problem) is polynomial JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2021, 14 (05): : 667 - 671
- [24] COMPACTNESS AND RECURSIVE ENUMERABILITY IN INTENSIONAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 343 - 346
- [26] Satisfiability Problem in Interval FP-logic BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2023, 44 : 98 - 107
- [27] Substitutional definition of satisfiability in classical propositional logic THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 31 - 45
- [28] Some progress in satisfiability checking for difference logic FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 263 - 276
- [30] Boolean Satisfiability using Noise Based Logic 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 1256 - 1257