Published 2000 | Version v1

Publication Metadata-only

SAT vs. Translation based decision procedures for modal logics: a comparative evaluation

Creators: GIUNCHIGLIA, ENRICO; TACCHELLA, ARMANDO; GIUNCHIGLIA A.; SEBASTIANI R.

Others:: Giunchiglia, Enrico; Giunchiglia, A.; Sebastiani, R.; Tacchella, Armando

Additional details

Created:: December 5, 2022
Modified:: November 30, 2023