Partitioning Strategies for Distributed SMT Solving.
Amalee WilsonAndres NötzliAndrew ReynoldsByron CookCesare TinelliClark W. BarrettPublished in: FMCAD (2023)
Keyphrases
- cooperative
- distributed systems
- distributed constraint satisfaction problems
- distributed environment
- distributed constraint optimization problems
- databases
- distributed search
- online auctions
- fault tolerant
- computer networks
- multi agent
- parallel algorithm
- probabilistic model
- graph partitioning
- solving problems
- clustering algorithm
- neural network
- data sets
- distributed constraint satisfaction