SAT-Based Decision Procedures for Classical Modal Logics
Enrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia
- 作者Enrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia
- 卷第28卷
- 期第2期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小326.19KB
- 发表时间2002-02
- DOI10.1023/a:1015071400913
- 页码143-171