2001 (v1)
Publication
No description
Uploaded on: April 14, 2023
G
E
GIUNCHIGLIA , Enrico
Last name: GIUNCHIGLIA
First name: Enrico
Email: giunchiglia@unige.it
Institution: UNIGE
Links
-
-
2000 (v1)Publication
No description
Uploaded on: December 5, 2022 -
2002 (v1)Publication
We present a set of SAT-based decision procedures for various classical modal logics. By SAT based, we mean built on top of a SAT solver. We show how the SAT-based approach allows for a modular implementation for these logics. For some of the logics we deal with, we are not aware of any other implementation. For the others, we define a testing...
Uploaded on: March 25, 2023 -
2005 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2007 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1993 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2005 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2011 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2006 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2006 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2009 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2006 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2009 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2007 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2001 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2010 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2005 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2000 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2005 (v1)Publication
No description
Uploaded on: March 27, 2023