Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
1	Propositional Proof Complexity Instructor: Alexander Razborov, University of Chicago. Course Homepage: http://people.cs.uchicago.edu/~razborov/teaching/winter09.html Winter, 2009 and Winter, 2014 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-04 16:32:05
2	Oracle Complexity of Second-Order Methods for Finite-Sum Problems A. Proofs A.1. Auxiliary Lemmas The following lemma was essentially proven in (Lan, 2015; Nesterov, 2013), but we provide a proof for completeness: Lemma Add to Reading List Source URL: proceedings.mlr.press - Date: 2018-02-06 15:06:57
3	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Excerpt More information Add to Reading List Source URL: assets.cambridge.org - Date: 2010-02-15 04:00:07
4	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Copyright Information More information Add to Reading List Source URL: assets.cambridge.org - Date: 2010-02-15 04:00:07
5	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Frontmatter More information Add to Reading List Source URL: assets.cambridge.org - Date: 2010-02-15 04:00:08
6	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Table of Contents More information Add to Reading List Source URL: assets.cambridge.org - Date: 2010-02-15 04:00:08
7	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES PCC 2007 Proof, Computation, Complexity Add to Reading List Source URL: www-compsci.swan.ac.uk - Date: 2007-04-16 08:36:58
8	Cambridge University Press4 - Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen Index More information Add to Reading List Source URL: assets.cambridge.org - Date: 2010-02-15 04:00:08
9	Some News on the Proof Complexity of Deep Inference Add to Reading List Source URL: cs.bath.ac.uk - Date: 2009-11-08 22:57:53
10	UNIFORMITY AND NONUNIFORMITY IN PROOF COMPLEXITY by Kaveh Ghasemloo Add to Reading List Source URL: www.cs.toronto.edu - Date: 2016-07-27 16:01:11