Skip to main content
User menu
Log in
AI @ UniBO
Artificial Intelligence Research at the University of Bologna
Primary linkss
Toggle sub-menu
Home
Research and Projects
PreventIT
HABITAT
OPRECOM
Farseeing
DeepOpt
Games
CLIMB
SCIFF
SOCS
SOCS-SI
e-Policy
ComMon
Model Learning in Comb. Opt. (Google grant)
Opt4SmartCities
People
Paola Mello
Federico Chesani
Paolo Torroni
Michela Milano
Michele Lombardi
Luca Cattelani
Andrea Borghesi
Allegra De Filippo
Andrea Galassi
Former members
Marco Lippi
Marco Montali
Stefano Bragaglia
Davide Sottara
Fabrizio Riguzzi
Marco Gavanelli
Alessio Bonfietti
Thomas Bridi
Federico Caselli
Raffaele Ianniello
Teaching
Intelligent Syst. 18/19
LabInfo1819
Fondamenti AI 16/17
Sist. Vincoli 16/17
EIAN T 15/16
Sist. Intelligenti 15/16
Constraints Journal Editor
Breadcrumbs
You are here:
Home
Node
{LTL} Satisfiability Checking
Design by Adaptive Theme
AI @ UniBOArtificial Intelligence Research at the University of Bologna