Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Noah Fleming
@article{DBLP:journals/eccc/FlemingGPR24,
author = {Noah Fleming and
Stefan Grosser and
Toniann Pitassi and
Robert Robere},
title = {Black-Box {PPP} is not Turing-Closed},
journal = {Electron. Colloquium Comput. Complex.},
pages = {TR24--010},
year = {2024},
url = {https://eccc.weizmann.ac.il/report/2024/010},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eccc/FlemingGPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/BussFI23,
author = {Sam Buss and
Noah Fleming and
Russell Impagliazzo},
editor = {Yael Tauman Kalai},
title = {{TFNP} Characterizations of Proof Systems and Monotone Circuits},
booktitle = {14th Innovations in Theoretical Computer Science Conference, {ITCS}
2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, {USA}},
series = {LIPIcs},
volume = {251},
pages = {30:1--30:40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2023.30},
doi = {10.4230/LIPICS.ITCS.2023.30},
timestamp = {Thu, 02 Feb 2023 12:50:42 +0100},
biburl = {https://dblp.org/rec/conf/innovations/BussFI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Vinyals0FKG23,
author = {Marc Vinyals and
Chunxiao Li and
Noah Fleming and
Antonina Kolokolova and
Vijay Ganesh},
editor = {Meena Mahajan and
Friedrich Slivovsky},
title = {Limits of {CDCL} Learning via Merge Resolution},
booktitle = {26th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2023, July 4-8, 2023, Alghero, Italy},
series = {LIPIcs},
volume = {271},
pages = {27:1--27:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.SAT.2023.27},
doi = {10.4230/LIPICS.SAT.2023.27},
timestamp = {Thu, 10 Aug 2023 14:37:28 +0200},
biburl = {https://dblp.org/rec/conf/sat/Vinyals0FKG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/00020FKY23,
author = {Vipul Arora and
Arnab Bhattacharyya and
Noah Fleming and
Esty Kelman and
Yuichi Yoshida},
editor = {Nikhil Bansal and
Viswanath Nagarajan},
title = {Low Degree Testing over the Reals},
booktitle = {Proceedings of the 2023 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2023, Florence, Italy, January 22-25, 2023},
pages = {738--792},
publisher = {{SIAM}},
year = {2023},
url = {https://doi.org/10.1137/1.9781611977554.ch31},
doi = {10.1137/1.9781611977554.CH31},
timestamp = {Fri, 17 Feb 2023 09:28:57 +0100},
biburl = {https://dblp.org/rec/conf/soda/00020FKY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09422,
author = {Marc Vinyals and
Chunxiao (Ian) Li and
Noah Fleming and
Antonina Kolokolova and
Vijay Ganesh},
title = {Limits of {CDCL} Learning via Merge Resolution},
journal = {CoRR},
volume = {abs/2304.09422},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.09422},
doi = {10.48550/ARXIV.2304.09422},
eprinttype = {arXiv},
eprint = {2304.09422},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-09422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingGK0V23,
author = {Noah Fleming and
Vijay Ganesh and
Antonina Kolokolova and
Chunxiao Li and
Marc Vinyals},
title = {Limits of {CDCL} Learning via Merge Resolution},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR23-052}},
year = {2023},
url = {https://eccc.weizmann.ac.il/report/2023/052},
eprinttype = {ECCC},
eprint = {TR23-052},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingGK0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FlemingPPR22,
author = {Noah Fleming and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Random {\textbackslash}( {\textbackslash}Theta ({\textbackslash}log
n) {\textbackslash}) -CNFs are Hard for Cutting Planes},
journal = {J. {ACM}},
volume = {69},
number = {3},
pages = {19:1--19:32},
year = {2022},
url = {https://doi.org/10.1145/3486680},
doi = {10.1145/3486680},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/FlemingPPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/FlemingGGR22,
author = {Noah Fleming and
Mika G{\"{o}}{\"{o}}s and
Stefan Grosser and
Robert Robere},
editor = {Mark Braverman},
title = {On Semi-Algebraic Proofs and Algorithms},
booktitle = {13th Innovations in Theoretical Computer Science Conference, {ITCS}
2022, January 31 - February 3, 2022, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {215},
pages = {69:1--69:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2022.69},
doi = {10.4230/LIPICS.ITCS.2022.69},
timestamp = {Wed, 26 Jan 2022 14:33:51 +0100},
biburl = {https://dblp.org/rec/conf/innovations/FlemingGGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/FlemingPR22,
author = {Noah Fleming and
Toniann Pitassi and
Robert Robere},
editor = {Mark Braverman},
title = {Extremely Deep Proofs},
booktitle = {13th Innovations in Theoretical Computer Science Conference, {ITCS}
2022, January 31 - February 3, 2022, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {215},
pages = {70:1--70:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2022.70},
doi = {10.4230/LIPICS.ITCS.2022.70},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/innovations/FlemingPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-08404,
author = {Vipul Arora and
Arnab Bhattacharyya and
Noah Fleming and
Esty Kelman and
Yuichi Yoshida},
title = {Low Degree Testing over the Reals},
journal = {CoRR},
volume = {abs/2204.08404},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.08404},
doi = {10.48550/ARXIV.2204.08404},
eprinttype = {arXiv},
eprint = {2204.08404},
timestamp = {Mon, 06 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-08404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Arora0FKY22,
author = {Vipul Arora and
Arnab Bhattacharyya and
Noah Fleming and
Esty Kelman and
Yuichi Yoshida},
title = {Low Degree Testing over the Reals},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR22-051}},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/051},
eprinttype = {ECCC},
eprint = {TR22-051},
timestamp = {Mon, 06 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eccc/Arora0FKY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/BussFI22,
author = {Sam Buss and
Noah Fleming and
Russell Impagliazzo},
title = {{TFNP} Characterizations of Proof Systems and Monotone Circuits},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR22-141}},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/141},
eprinttype = {ECCC},
eprint = {TR22-141},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eccc/BussFI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingGGR22,
author = {Noah Fleming and
Stefan Grosser and
Mika G{\"{o}}{\"{o}}s and
Robert Robere},
title = {On Semi-Algebraic Proofs and Algorithms},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR22-003}},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/003},
eprinttype = {ECCC},
eprint = {TR22-003},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eccc/FlemingGGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Fleming21,
author = {Noah Fleming},
title = {The Proof Complexity of Integer Programming},
school = {University of Toronto, Canada},
year = {2021},
url = {http://hdl.handle.net/1807/108797},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Fleming21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/FlemingGIPRTW21,
author = {Noah Fleming and
Mika G{\"{o}}{\"{o}}s and
Russell Impagliazzo and
Toniann Pitassi and
Robert Robere and
Li{-}Yang Tan and
Avi Wigderson},
editor = {Valentine Kabanets},
title = {On the Power and Limitations of Branch and Cut},
booktitle = {36th Computational Complexity Conference, {CCC} 2021, July 20-23,
2021, Toronto, Ontario, Canada (Virtual Conference)},
series = {LIPIcs},
volume = {200},
pages = {6:1--6:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CCC.2021.6},
doi = {10.4230/LIPICS.CCC.2021.6},
timestamp = {Thu, 02 Feb 2023 13:27:03 +0100},
biburl = {https://dblp.org/rec/conf/coco/FlemingGIPRTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LiCMVFKMG21,
author = {Chunxiao Li and
Jonathan Chung and
Soham Mukherjee and
Marc Vinyals and
Noah Fleming and
Antonina Kolokolova and
Alice Mu and
Vijay Ganesh},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {On the Hierarchical Community Structure of Practical Boolean Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {359--376},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_25},
doi = {10.1007/978-3-030-80223-3\_25},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LiCMVFKMG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05019,
author = {Noah Fleming and
Mika G{\"{o}}{\"{o}}s and
Russell Impagliazzo and
Toniann Pitassi and
Robert Robere and
Li{-}Yang Tan and
Avi Wigderson},
title = {On the Power and Limitations of Branch and Cut},
journal = {CoRR},
volume = {abs/2102.05019},
year = {2021},
url = {https://arxiv.org/abs/2102.05019},
eprinttype = {arXiv},
eprint = {2102.05019},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14992,
author = {Chunxiao Li and
Jonathan Chung and
Soham Mukherjee and
Marc Vinyals and
Noah Fleming and
Antonina Kolokolova and
Alice Mu and
Vijay Ganesh},
title = {On the Hierarchical Community Structure of Practical {SAT} Formulas},
journal = {CoRR},
volume = {abs/2103.14992},
year = {2021},
url = {https://arxiv.org/abs/2103.14992},
eprinttype = {arXiv},
eprint = {2103.14992},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingGIPRTW21,
author = {Noah Fleming and
Mika G{\"{o}}{\"{o}}s and
Russell Impagliazzo and
Toniann Pitassi and
Robert Robere and
Li{-}Yang Tan and
Avi Wigderson},
title = {On the Power and Limitations of Branch and Cut},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR21-012}},
year = {2021},
url = {https://eccc.weizmann.ac.il/report/2021/012},
eprinttype = {ECCC},
eprint = {TR21-012},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingGIPRTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingP21,
author = {Noah Fleming and
Toniann Pitassi},
title = {Reflections on Proof Complexity and Counting Principles},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR21-061}},
year = {2021},
url = {https://eccc.weizmann.ac.il/report/2021/061},
eprinttype = {ECCC},
eprint = {TR21-061},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingPR21,
author = {Noah Fleming and
Toniann Pitassi and
Robert Robere},
title = {Extremely Deep Proofs},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR21-158}},
year = {2021},
url = {https://eccc.weizmann.ac.il/report/2021/158},
eprinttype = {ECCC},
eprint = {TR21-158},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/FlemingY20,
author = {Noah Fleming and
Yuichi Yoshida},
editor = {Thomas Vidick},
title = {Distribution-Free Testing of Linear Functions on {\(\mathbb{R}\)}{\unicode{8319}}},
booktitle = {11th Innovations in Theoretical Computer Science Conference, {ITCS}
2020, January 12-14, 2020, Seattle, Washington, {USA}},
series = {LIPIcs},
volume = {151},
pages = {22:1--22:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2020.22},
doi = {10.4230/LIPICS.ITCS.2020.22},
timestamp = {Mon, 06 Jan 2020 16:50:09 +0100},
biburl = {https://dblp.org/rec/conf/innovations/FlemingY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LiFVPG20,
author = {Chunxiao Li and
Noah Fleming and
Marc Vinyals and
Toniann Pitassi and
Vijay Ganesh},
editor = {Luca Pulina and
Martina Seidl},
title = {Towards a Complexity-Theoretic Understanding of Restarts in {SAT}
Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {233--249},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_17},
doi = {10.1007/978-3-030-51825-7\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LiFVPG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-02323,
author = {Chunxiao Li and
Noah Fleming and
Marc Vinyals and
Toniann Pitassi and
Vijay Ganesh},
title = {Towards a Complexity-theoretic Understanding of Restarts in {SAT}
solvers},
journal = {CoRR},
volume = {abs/2003.02323},
year = {2020},
url = {https://arxiv.org/abs/2003.02323},
eprinttype = {arXiv},
eprint = {2003.02323},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-02323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fttcs/FlemingKP19,
author = {Noah Fleming and
Pravesh Kothari and
Toniann Pitassi},
title = {Semialgebraic Proofs and Efficient Algorithm Design},
journal = {Found. Trends Theor. Comput. Sci.},
volume = {14},
number = {1-2},
pages = {1--221},
year = {2019},
url = {https://doi.org/10.1561/0400000086},
doi = {10.1561/0400000086},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fttcs/FlemingKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03391,
author = {Noah Fleming and
Yuichi Yoshida},
title = {Distribution-Free Testing of Linear Functions on R{\^{}}n},
journal = {CoRR},
volume = {abs/1909.03391},
year = {2019},
url = {http://arxiv.org/abs/1909.03391},
eprinttype = {arXiv},
eprint = {1909.03391},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03391.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingKP19,
author = {Noah Fleming and
Pravesh Kothari and
Toniann Pitassi},
title = {Semialgebraic Proofs and Efficient Algorithm Design},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR19-106}},
year = {2019},
url = {https://eccc.weizmann.ac.il/report/2019/106},
eprinttype = {ECCC},
eprint = {TR19-106},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/BeameFIKPPR18,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
editor = {Anna R. Karlin},
title = {Stabbing Planes},
booktitle = {9th Innovations in Theoretical Computer Science Conference, {ITCS}
2018, January 11-14, 2018, Cambridge, MA, {USA}},
series = {LIPIcs},
volume = {94},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2018.10},
doi = {10.4230/LIPICS.ITCS.2018.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/innovations/BeameFIKPPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FlemingPPR17,
author = {Noah Fleming and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
editor = {Chris Umans},
title = {Random {\(\Theta\)}(log n)-CNFs Are Hard for Cutting Planes},
booktitle = {58th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
2017, Berkeley, CA, USA, October 15-17, 2017},
pages = {109--120},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FOCS.2017.19},
doi = {10.1109/FOCS.2017.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FlemingPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FlemingPPR17,
author = {Noah Fleming and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Random CNFs are Hard for Cutting Planes},
journal = {CoRR},
volume = {abs/1703.02469},
year = {2017},
url = {http://arxiv.org/abs/1703.02469},
eprinttype = {arXiv},
eprint = {1703.02469},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FlemingPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03219,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Stabbing Planes},
journal = {CoRR},
volume = {abs/1710.03219},
year = {2017},
url = {http://arxiv.org/abs/1710.03219},
eprinttype = {arXiv},
eprint = {1710.03219},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/BeameFIKPPR17,
author = {Paul Beame and
Noah Fleming and
Russell Impagliazzo and
Antonina Kolokolova and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Stabbing Planes},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-151}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/151},
eprinttype = {ECCC},
eprint = {TR17-151},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/BeameFIKPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/FlemingPPR17,
author = {Noah Fleming and
Denis Pankratov and
Toniann Pitassi and
Robert Robere},
title = {Random CNFs are Hard for Cutting Planes},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-045}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/045},
eprinttype = {ECCC},
eprint = {TR17-045},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/FlemingPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mt/FlemingKN15,
author = {Noah Fleming and
Antonina Kolokolova and
Renesa Nizamee},
title = {Complexity of alignment and decoding problems: restrictions and approximations},
journal = {Mach. Transl.},
volume = {29},
number = {3-4},
pages = {163--187},
year = {2015},
url = {https://doi.org/10.1007/s10590-015-9172-5},
doi = {10.1007/S10590-015-9172-5},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mt/FlemingKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-07 01:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
