Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation.

Haoyang Liu Yufei Kuang Jie Wang Xijun Li Yongdong Zhang Feng Wu

Published in: CoRR (2023)

Keyphrases

sat instances
sat solvers
brute force
multi agent
search algorithm
databases
real world
clustering algorithm
multiscale
exact and approximate