ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes.
Rishi SharmaShreyansh KulshreshthaManas ThakurPublished in: CASCON (2022)
Keyphrases
- constraint solvers
- constraint programming
- constraint solving
- constraint satisfaction problems
- constraint propagation
- constraint solver
- parallel algorithm
- solving problems
- combinatorial problems
- set bounds propagation
- parallel processing
- combinatorial optimization
- knowledge base
- optimal solution
- search algorithm
- high performance computing