%0 Conference Paper %1 conf/sat/FengB20 %A Feng, Nick %A Bacchus, Fahiem %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 28-45 %T Clause Size Reduction with all-UIP Learning. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#FengB20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/FengB20, added-at = {2020-07-02T00:00:00.000+0200}, author = {Feng, Nick and Bacchus, Fahiem}, biburl = {https://www.bibsonomy.org/bibtex/29bf9fdad6cfcbcbcd8b0e965d1bb1aaa/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_3}, interhash = {ec0ae36a711a624b1b993f157a198b88}, intrahash = {9bf9fdad6cfcbcbcd8b0e965d1bb1aaa}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {28-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-03T11:40:26.000+0200}, title = {Clause Size Reduction with all-UIP Learning.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#FengB20}, volume = 12178, year = 2020 }