Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/chinaf/XiaoLLMLL19
%A Xiao, Fan
%A Li, Chu-Min
%A Luo, Mao
%A Manyà, Felip
%A Lü, Zhipeng
%A Li, Yu
%D 2019
%J SCIENCE CHINA Information Sciences
%K dblp
%N 7
%P 72103:1-72103:13
%T A branching heuristic for SAT solvers based on complete implication graphs.
%U http://dblp.uni-trier.de/db/journals/chinaf/chinaf62.html#XiaoLLMLL19
%V 62
@article{journals/chinaf/XiaoLLMLL19,
added-at = {2019-06-18T00:00:00.000+0200},
author = {Xiao, Fan and Li, Chu-Min and Luo, Mao and Manyà, Felip and Lü, Zhipeng and Li, Yu},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/238a4aafa7bbefdc068a296958645a4f0/dblp},
ee = {https://doi.org/10.1007/s11432-017-9467-7},
interhash = {e47ef3f7c557501792ae48bd17163533},
intrahash = {38a4aafa7bbefdc068a296958645a4f0},
journal = {SCIENCE CHINA Information Sciences},
keywords = {dblp},
number = 7,
pages = {72103:1-72103:13},
timestamp = {2019-09-27T08:36:17.000+0200},
title = {A branching heuristic for SAT solvers based on complete implication graphs.},
url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf62.html#XiaoLLMLL19},
volume = 62,
year = 2019
}