SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408)
From MaRDI portal
scientific article; zbMATH DE number 2024829
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation |
scientific article; zbMATH DE number 2024829 |
Statements
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (English)
0 references
11 January 2004
0 references
decision procedures
0 references
experimental analysis
0 references
propositional satisfiability
0 references
0 references
