Boundary Evolution Algorithm for SAT-NP. - Zhaoyang Ai; Chaodong Fan; Yingjie Zhang; Huigui Rong; Ze'an Tian; Haibing Fu (CoRR, 2019)