Proof complexity and the binary encoding of combinatorial principles

Stefan Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

Type: Preprint

Publication Date: 2020-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.2008.02138

View Publication

Locations

arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Proof Complexity and the Binary Encoding of Combinatorial Principles	2024	Stefan Dantchev Nicola Galesi Abdul Ghani Barnaby Martin
+	Resolution and the binary encoding of combinatorial principles	2018	Stefan Dantchev Nicola Galesi Barnaby Martin
+	Relativisation makes contradictions harder for Resolution	2013	Stefan Dantchev Barnaby Martin
+	Proof Transformation by Resolution	2003
+	Sherali-Adams and the binary encoding of combinatorial principles	2019	Stefan Dantchev Abdul Ghani Barnaby Martin
+	Sherali-Adams and the binary encoding of combinatorial principles	2019	Stefan Dantchev Abdul Ghani Barnaby Martin
+	Investigating Provers' Understandings of Combinatorial Proof	2020	Sarah A. Erickson
+	Linear and Negative Resolution are weaker than Resolution	2001	J. Buresh-Oppenheim David G. M. Mitchell Toniann Pitassi
+	RAP (Reasoning and Proof) Journals: I Am Here	2008	Bryce Schwanke
+	Proof representations in Theorem Provers	1998	Geoffrey Watson
+	Textbook analyses on reasoning-and-proving: Significance and methodological challenges	2014	Gabriel J. Stylianides
+	Resolution Lower Bounds for Refutation Statements	2019	Michal Garlík
+	Investigating Combinatorial Provers’ Reasoning about Multiplication	2020	Sarah A. Erickson Elise Lockwood
+	Proofs and Refutations.	1980	Margarita R. Levin Imre Lakatos
+ PDF Chat	A Type-Theoretic Approach to Resolution	2015	Peng Fu Ekaterina Komendantskaya
+	The Method of Proofs and Refutations	2001
+	The Method of Proofs and Refutations	2001
+	Unwinding proofs (‘Proof Mining’)	2008
+	Reasoning-and-proving opportunities in elementary mathematics textbooks	2013	Kristen N. Bieda Xueying Ji Justin Drwencke Andrew L. Picard
+	2 The Method of Proofs and Refutations	2020

Works That Cite This (1)

Action	Title	Year	Authors
+	Clique Is Hard on Average for Unary Sherali-Adams	2023	Susanna F. de Rezende Aaron Potechin Kilian Risse

Works Cited by This (0)

Action	Title	Year	Authors