Publications

Publications of

Conference papers
  • Lamia Belouaer, Frédéric Maris

    SMT Spatio-Temporal Planning

    In : 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.).

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by