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