%0 Conference Paper %1 conf/sat/LiFVPG20 %A Li, Chunxiao %A Fleming, Noah %A Vinyals, Marc %A Pitassi, Toniann %A Ganesh, Vijay %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 233-249 %T Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#LiFVPG20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/LiFVPG20, added-at = {2024-06-27T00:00:00.000+0200}, author = {Li, Chunxiao and Fleming, Noah and Vinyals, Marc and Pitassi, Toniann and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2f88045d3a87341fe90ace1f06d0b0f82/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_17}, interhash = {c2a7243359fe56af0012e1825729c330}, intrahash = {f88045d3a87341fe90ace1f06d0b0f82}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {233-249}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-01T07:15:55.000+0200}, title = {Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#LiFVPG20}, volume = 12178, year = 2020 }