![](/img/cover-not-exists.png)
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
Giunchiglia, Enrico, Sebastiani, Roberto, Giunchiglia, Fausto, Tacchella, ArmandoVolume:
10
Language:
english
Journal:
Journal of Applied Non-Classical Logics
DOI:
10.1080/11663081.2000.10510994
Date:
January, 2000
File:
PDF, 1.42 MB
english, 2000