Publications de
Lamia Belouaer, Frédéric Maris
SMT Spatio-Temporal Planning
Dans : ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), Atibaia, São Paulo, Brazil, 25/06/12, Miguel A. Salido, Roman Barták (Eds.).