Sign in
Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics.
Junhua Huang
Hui-Ling Zhen
Naixing Wang
Mingxuan Yuan
Hui Mao
Yu Huang
Jiping Tao
Published in:
ASP-DAC (2022)
Keyphrases
</>
preprocessing
conflict management
distributed search
heterogeneous agents
multi agent
collaborative design
sat solvers
heuristic search
sat encodings
cooperative
search strategies
classical planning
case study
constraint satisfaction
multiple agents
distributed artificial intelligence