Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (2005) SAT-Based Decision Procedures for Classical Modal Logics. UNSPECIFIED. (In Press)

Giunchiglia, Fausto and Yatskevich, Mikalai and Giunchiglia, Enrico (2004) Efficient Semantic Matching. UNSPECIFIED. (In Press)

Armando, Alessandro and Castellini, Claudio and Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (2002) SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Giunchiglia, Enrico and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) Integrating BDD-based and SAT-based Symbolic Model Checking. UNSPECIFIED. (In Press)

Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Enrico and Giunchiglia, Fausto and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) NuSMV2: an Open Source Tool for Symbolic Model Checking. UNSPECIFIED.

Giunchiglia, Enrico and Giunchiglia, Fausto and Tacchella, Armando (1999) SAT-Based Decision Procedures for Classical Modal Logics. UNSPECIFIED.

Giunchiglia, Enrico and Giunchiglia, Fausto (1996) Ideal and Real Belief about Belief. UNSPECIFIED.