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