%0 Conference Paper %1 conf/sat/Vinyals0FKG23 %A Vinyals, Marc %A Li, Chunxiao %A Fleming, Noah %A Kolokolova, Antonina %A Ganesh, Vijay %B SAT %D 2023 %E Mahajan, Meena %E Slivovsky, Friedrich %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 27:1-27:19 %T Limits of CDCL Learning via Merge Resolution. %U http://dblp.uni-trier.de/db/conf/sat/sat2023.html#Vinyals0FKG23 %V 271 %@ 978-3-95977-286-0

@inproceedings{conf/sat/Vinyals0FKG23, added-at = {2023-08-10T00:00:00.000+0200}, author = {Vinyals, Marc and Li, Chunxiao and Fleming, Noah and Kolokolova, Antonina and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2b6c4fa6739565052dd400d8b1a310f16/dblp}, booktitle = {SAT}, crossref = {conf/sat/2023}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, ee = {https://doi.org/10.4230/LIPIcs.SAT.2023.27}, interhash = {1abb16b5aa15bcf6a485b793b8d7a209}, intrahash = {b6c4fa6739565052dd400d8b1a310f16}, isbn = {978-3-95977-286-0}, keywords = {dblp}, pages = {27:1-27:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T19:21:35.000+0200}, title = {Limits of CDCL Learning via Merge Resolution.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2023.html#Vinyals0FKG23}, volume = 271, year = 2023 }