Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation
2018
NASA Academic Mission Services, contract number NNA16BD14C, NASA Advanced Exploration Systems program, and the Natural Sciences and Engineering Research Council of Canada (NSERC).
Keywords:
- Constraint programming
- Machine learning
- Quantum circuit
- Systems engineering
- Quantum computer
- Temporal logic
- Artificial intelligence
- Computer programming
- Computer science
- Engineering research
- Project planning
- Discrete mathematics
- Quantum
- Theoretical computer science
- Satisficing
- warm start
- Time horizon
- Mathematics
- Quantum algorithm
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
28
References
26
Citations
NaN
KQI