%0 Conference Paper %1 conf/innovations/BeameFIKPPR18 %A Beame, Paul %A Fleming, Noah %A Impagliazzo, Russell %A Kolokolova, Antonina %A Pankratov, Denis %A Pitassi, Toniann %A Robere, Robert %B ITCS %D 2018 %E Karlin, Anna R. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:20 %T Stabbing Planes. %U http://dblp.uni-trier.de/db/conf/innovations/innovations2018.html#BeameFIKPPR18 %V 94 %@ 978-3-95977-060-6

@inproceedings{conf/innovations/BeameFIKPPR18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Beame, Paul and Fleming, Noah and Impagliazzo, Russell and Kolokolova, Antonina and Pankratov, Denis and Pitassi, Toniann and Robere, Robert}, biburl = {https://www.bibsonomy.org/bibtex/20ef277528013d89e8aea858982e000d1/dblp}, booktitle = {ITCS}, crossref = {conf/innovations/2018}, editor = {Karlin, Anna R.}, ee = {https://doi.org/10.4230/LIPIcs.ITCS.2018.10}, interhash = {a1228cad8d101b87faa52b8d0c015d4b}, intrahash = {0ef277528013d89e8aea858982e000d1}, isbn = {978-3-95977-060-6}, keywords = {dblp}, pages = {10:1-10:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-05-13T09:11:46.000+0200}, title = {Stabbing Planes.}, url = {http://dblp.uni-trier.de/db/conf/innovations/innovations2018.html#BeameFIKPPR18}, volume = 94, year = 2018 }