A branching heuristic for SAT solvers based on complete implication graphs
Xiao, Fan, Li, Chu-Min, Luo, Mao, Manyà, Felip, Lü, Zhipeng, Li, YuVolume:
62
Language:
english
Journal:
Science China Information Sciences
DOI:
10.1007/s11432-017-9467-7
Date:
July, 2019
File:
PDF, 211 KB
english, 2019