Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.
Mengyu ZhaoShaowei CaiYuhang QianPublished in: CAV (1) (2024)
Keyphrases
- distributed constraint satisfaction problems
- distributed systems
- dynamic environments
- levels of abstraction
- cooperative
- multi agent
- distributed environment
- higher level
- load balance
- distributed constraint satisfaction
- real time
- scalable distributed
- distributed constraint optimization problems
- fault tolerant
- mobile agents
- peer to peer
- objective function
- neural network
- data sets