Alessandro Cimatti Andrea Micheli Marco Roveri Solving Temporal Problems Using SMT: Strong Controllability. 248-264 2012 CP https://doi.org/10.1007/978-3-642-33558-7_20 https://www.wikidata.org/entity/Q62041202 conf/cp/2012 db/conf/cp/cp2012.html#CimattiMR12