no code implementations • 11 Dec 2021 • Mao Luo, Chu-min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio.