Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

Abstract: Highlights•We discover a phenomenon that some pairs of BCs are similar in structure.•Motivated by the phenomenon, we design a local search to identify more general BCs.•To speed up BC verification, we propose LISF to reduce the calls of SAT solver.