Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
Eszter CouillardPhilipp CzernerJavier EsparzaRupak MajumdarPublished in: CAV (3) (2023)
Keyphrases
- computationally demanding
- computationally efficient
- computationally expensive
- computationally complex
- efficient implementation
- highly scalable
- computationally intensive
- computational cost
- highly efficient
- worst case
- theoretical analysis
- benchmark datasets
- efficient solutions
- times faster
- orders of magnitude
- database systems
- wireless sensor networks
- np hard
- computational complexity
- data structure
- reinforcement learning