%0 Conference Paper %1 conf/ijcai/LuoLXML17 %A Luo, Mao %A Li, Chu-Min %A Xiao, Fan %A Manyà, Felip %A Lü, Zhipeng %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 703-711 %T An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#LuoLXML17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/LuoLXML17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Luo, Mao and Li, Chu-Min and Xiao, Fan and Manyà, Felip and Lü, Zhipeng}, biburl = {https://www.bibsonomy.org/bibtex/2b2cb85d8a3fd2e43cd57ae4bf6956871/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/98}, interhash = {f3bad197b32f694a6931a17d2b0eaddc}, intrahash = {b2cb85d8a3fd2e43cd57ae4bf6956871}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {703-711}, publisher = {ijcai.org}, timestamp = {2019-08-21T11:50:23.000+0200}, title = {An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#LuoLXML17}, year = 2017 }