Partitioning Strategies for Distributed SMT Solving.
Amalee WilsonAndres NötzliAndrew ReynoldsByron CookCesare TinelliClark W. BarrettPublished in: CoRR (2023)
Keyphrases
- distributed systems
- distributed environment
- distributed constraint satisfaction problems
- distributed constraint optimization problems
- lightweight
- multi agent
- peer to peer
- computing environments
- agent technology
- solving problems
- communication overhead
- distributed search
- cooperative
- computer networks
- fault tolerant
- online auctions
- distributed architecture
- real time