Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
Eszter CouillardPhilipp CzernerJavier EsparzaRupak MajumdarPublished in: CoRR (2023)
Keyphrases
- computationally efficient
- computationally demanding
- computationally complex
- computationally intensive
- highly efficient
- efficient implementation
- theoretical analysis
- computationally expensive
- real world
- orders of magnitude
- optimization problems
- times faster
- simulated annealing
- significant improvement
- parallel architectures
- computational complexity
- practical solutions
- learning algorithm