R. Barták and D. Toropila, Reformulating Constraint Models for Classical Planning, International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008.

J. Benton, A. Coles, and A. Coles, Temporal Planning with Preferences and Time-Dependent Continuous Costs, International Conference on Automated Planning and Scheduling (ICAPS), 2012.

S. Bernardini, F. Fagnani, and D. E. Smith, Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains, Artificial Intelligence, vol.258, 2018.

S. Bernardini and D. E. Smith, Developing Domain-Independent Search Control for EUROPA2, ICAPS Workshop on Heuristics and Search for Domainindependent Planning (HSDIP), 2007.

S. Bernardini and D. E. Smith, Automatic Synthesis of Temporal Invariants, Symposium on Abstraction, Reformulation and Approximation, 2011.

A. Bit-monnot, Temporal and Hierarchical Models for Planning and Acting in Robotics, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01444926

A. Bit-monnot, D. E. Smith, and M. B. Do, Delete-free Reachability Analysis for Temporal and Hierarchical Planning, European Conference on Artificial Intelligence (ECAI), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01344083

A. L. Blum and M. L. Furst, Fast Planning through Planning Graph Analysis, Artificial Intelligence, vol.90, issue.1-2, 1997.

D. Bryce, S. Gao, D. Musliner, and R. Goldman, SMT-based Nonlinear PDDL+ Planning, AAAI Conference on Artificial Intelligence, 2015.

M. Cashmore, M. Fox, D. Long, and D. Magazzeni, A Compilation of the Full PDDL+ Language into SMT, International Conference on Automated Planning and Scheduling (ICAPS), 2016.

A. Cesta, G. Cortellessa, S. Fratini, and A. Oddi, Developing an End-to-End Planning Application from a Timeline Representation Framework, Innovative Applications of Artificial Intelligence Conference (IAAI, 2009.

S. Chien, G. Rabideau, R. Knight, R. Sherwood, B. Engelhardt et al., ASPEN: Automated Planning and Scheduling for Space Mission Operations, International Conference on Space Operations (SpaceOps, 2000.

A. Coles, A. Coles, M. Fox, and D. Long, Forward-Chaining Partial-Order Planning, International Conference on Automated Planning and Scheduling (ICAPS), 2010.

W. Cushing, S. Kambhampati, . Mausam, and D. S. Weld, When is Temporal Planning Really Temporal? In: International Joint Conference on Artificial Intelligence (IJCAI), 2007.

W. A. Cushing, When is Temporal Planning Really Temporal?, 2012.

L. De-moura and N. Bjørner, Z3: An efficient SMT Solver, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008.

M. B. Do and S. Kambhampati, Solving planning-graph by compiling it into CSP, International Conference on Automated Planning and Scheduling (ICAPS, 2000.

F. Dvorák, R. Barták, A. Bit-monnot, F. Ingrand, and M. Ghallab, Planning and Acting with Temporal and Hierarchical Decomposition Models, IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2014.

S. Edelkamp and J. Hoffmann, PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition, International Planning Competition (IPC-2004), 2004.

P. Eyerich, R. Mattmüller, and G. Röger, Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning, Springer Tracts in Advanced Robotics, 2012.

M. Fox and D. Long, PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains, Journal of Artificial Intelligence Research, p.20, 2003.

M. Fox and D. Long, Modelling Mixed Discrete-Continuous Domains for Planning, Journal of Artificial Intelligence Research, p.27, 2006.

J. Frank and A. Jónsson, Constraint-Based Attribute and Interval Planning, Constraints, vol.8, issue.4, 2003.

M. Ghallab and H. Laruelle, Representation and Control in IxTeT, a Temporal Planner, International Conference on Artificial Intelligence Planning and Scheduling (AIPS), 1994.

M. Ghallab, D. S. Nau, and P. Traverso, Automated Planning: Theory and Practice, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01982019

P. Laborie and J. Rogerie, Reasoning with Conditional Time-Intervals, International Florida Artificial Intelligence Research Society Conference (FLAIRS), 2008.

P. Laborie, J. Rogerie, P. Shaw, and P. Vilím, Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources, International Florida Artificial Intelligence Research Society Conference (FLAIRS, 2009.

A. Lopez and F. Bacchus, Generalizing graphplan by formulating planning as a CSP, International Joint Conference on Artificial Intelligence (IJCAI, 2003.

D. Mcdermott, M. Ghallab, A. E. Howe, C. A. Knoblock, A. Ram et al., PDDL: the Planning Domain Definition Language, Tech. rep, 1998.

E. Savas, M. Fox, D. Long, and D. Magazzeni, Planning Using Actions with Control Parameters, European Conference on Artificial Intelligence (ECAI), 2016.

E. Scala, M. Ramirez, P. Haslum, and S. Thiebaux, Numeric Planning with Disjunctive Global Constraints via SMT, International Conference on Automated Planning and Scheduling (ICAPS), 2016.

D. E. Smith, J. Frank, and W. Cushing, The ANML Language, International Conference on Automated Planning and Scheduling (ICAPS), 2008.

M. Vallati, L. Chrpa, M. Grze?, T. L. Mccluskey, M. Roberts et al., The 2014 International Planning Competition: Progress and Trends, vol.36, 2015.

V. Vidal and H. Geffner, Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming, Artificial Intelligence, vol.170, issue.3, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00184540

P. Vilím, R. Barták, and O. ?epek, Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities, Constraints, vol.10, issue.4, 2005.