Hybrid Optimizations: Which Optimization Algorithm to Use?
No abstract available.
Related papers
- Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus APLAS 2021
- Optimization of asynchronous graph processing on GPU with hybrid coloring model PPoPP 2015
- CESAR: Control Envelope Synthesis via Angelic Refinements TACAS 2024
- Optimizing Bounded Model Checking for Linear Hybrid Systems VMCAI 2005
- Fast and precise hybrid type inference for JavaScript PLDI 2012
- Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification CAV 2019
- Time Robustness in MTL and Expressivity in Hybrid System Falsification CAV 2015
- Hybrid Java compilation and optimization for digital TV software platform CGO 2010