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

Giunchiglia, E.; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, A.

doi:10.1080/11663081.2000.10510994

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

E. Giunchiglia;Giunchiglia, Fausto;Sebastiani, Roberto;A. Tacchella

2000-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2000
			
	Titolo del periodico (Journal title)
	
				JOURNAL OF APPLIED NON-CLASSICAL LOGICS
			
	Numero e parte del fascicolo (Issue number and part)
	
				2
			
	DOI
	
				https://dx.doi.org/10.1080/11663081.2000.10510994
			
	Codice Scopus (Scopus identifier)
	
				2-s2.0-0041720096
			
	Tutti gli autori
	
						E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
					
	Appare nelle tipologie:
	
				03.1 Articolo su rivista (Journal article)