GIUNCHIGLIA, ENRICO
GIUNCHIGLIA, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
Algorithms for Solving Satisfiability Problems with Qualitative Preferences
2012-01-01 Giunchiglia, Enrico; Maratea, Marco
Chapter 30. Reasoning with Quantified Boolean Formulas
2021-01-01 Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Introduction to the special issue on quantified CSPs and QBF
2009-01-01 Giunchiglia, Enrico; K., Stergiou
Reasoning with Quantified Boolean Formulas
2009-01-01 Giunchiglia, Enrico; Marin, P; Narizzano, Massimo
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
2005-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints | 1-gen-2005 | Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco | |
| Algorithms for Solving Satisfiability Problems with Qualitative Preferences | 1-gen-2012 | Giunchiglia, Enrico; Maratea, Marco | |
| Chapter 30. Reasoning with Quantified Boolean Formulas | 1-gen-2021 | Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo | |
| Introduction to the special issue on quantified CSPs and QBF | 1-gen-2009 | Giunchiglia, Enrico; K., Stergiou | |
| Reasoning with Quantified Boolean Formulas | 1-gen-2009 | Giunchiglia, Enrico; Marin, P; Narizzano, Massimo | |
| SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective | 1-gen-2005 | Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando |