Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation.
Kyle E. C. BoothMinh DoJ. Christopher BeckEleanor Gilbert RieffelDavide VenturelliJeremy FrankPublished in: ICAPS (2018)
Keyphrases
- constraint programming
- temporal planning
- temporal planner
- mutual exclusion
- constraint propagation
- constraint satisfaction problems
- integer programming
- ai planning
- plan generation
- combinatorial problems
- constraint satisfaction
- temporal constraints
- column generation
- planning problems
- domain independent
- global constraints
- plan execution
- partial order
- heuristic search
- arc consistency
- lower bound
- search strategies
- long distance
- classical planning
- machine learning
- instruction scheduling