Sebastiani, Roberto
Sebastiani, Roberto
Ingegneria e scienza dell'Informaz (29/10/12-)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.016 secondi).
Building Efficient Decision Procedures on top of SAT solvers
2006-01-01 Cimatti, Alessandro; Sebastiani, Roberto
Chapter 32: SAT techniques for modal and description logics
2021-01-01 Sebastiani, R.; Tacchella, A.
Chapter 33: Satisfiability modulo theories
2021-01-01 Barrett, C.; Sebastiani, R.; Seshia, S. A.; Tinelli, C.
Goal Modelling and Reasoning in Tropos
2011-01-01 Giorgini, Paolo; Mylopoulos, Ioannis; Sebastiani, Roberto
SAT Techniques for Modal and Description Logics
2009-01-01 Sebastiani, Roberto; Tacchella, Armando
Satisfiability Modulo Theories
2009-01-01 C., Barrett; Sebastiani, Roberto; S., Seshia; C., Tinelli
| Titolo | Anno di pubblicazione | Autori Unitn | File |
|---|---|---|---|
| Building Efficient Decision Procedures on top of SAT solvers | 1-gen-2006 | Cimatti, AlessandroSebastiani, Roberto | |
| Chapter 32: SAT techniques for modal and description logics | 1-gen-2021 | Sebastiani R. + | |
| Chapter 33: Satisfiability modulo theories | 1-gen-2021 | Sebastiani R. + | |
| Goal Modelling and Reasoning in Tropos | 1-gen-2011 | Giorgini, PaoloMylopoulos, IoannisSebastiani, Roberto | |
| SAT Techniques for Modal and Description Logics | 1-gen-2009 | Sebastiani, Roberto + | |
| Satisfiability Modulo Theories | 1-gen-2009 | Sebastiani, Roberto + |