Login / Signup
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.
Mengyu Zhao
Shaowei Cai
Yuhang Qian
Published 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