Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification

no code implementations • 23 Feb 2021 • Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang

By taking experiments on a set of cases, we show that LOGION effectively exploits the structural similarity of BCs.

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae

no code implementations • 7 Jun 2019 • Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei

The state-of-the-art approaches generate all primes along with a prime cover constructed by prime implicates using dual rail encoding.