Numeric Planning with Disjunctive Global Constraints via SMT.

Enrico Scala Miquel Ramírez Patrik Haslum Sylvie Thiébaux

Published in: ICAPS (2016)

Keyphrases

global constraints
constraint programming
temporal planning problems
constraint satisfaction problems
boolean constraints
weighted constraint satisfaction
arc consistency
symmetry breaking
ai planning
domain specific
planning problems
plan generation
parameterized complexity
objective function
saddle point