H-theorem - PDFSEARCH.IO - Document Search Engine

H-theorem
Results: 165

#	Item
91	Revisiting Hyper Binary Resolution Marijn J.H. Heule1,3 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Computer Science, The University of Texas at Austin, United States Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 14:06:39 Automated theorem proving Logic in computer science NP-complete problems Conjunctive normal form Resolution Unit propagation Boolean satisfiability problem Literal Transitivity Theoretical computer science Mathematical logic Mathematics
92	DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt, Jr. ? Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-04-02 18:01:43 Automated theorem proving Formal methods NP-complete problems Constraint programming Logic in computer science True quantified Boolean formula Resolution Satisfiability Modulo Theories Unsatisfiable core Theoretical computer science Mathematics Logic
93	Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:16:51 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Logic programming 2-satisfiability Theoretical computer science Mathematics Applied mathematics
94	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
95	ON S O M E N E W QUESTIONS ON T H E DISTRIBUTION OF P R I M E NUMBERS P. ERDÖS AND P. TURÂN 1. Introduction. In connection with some recent unpublished investigations concerning the Riemann hypothesis one of us raised Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:03:52 Analytic number theory Conjectures Hypotheses Riemann hypothesis Prime number theorem Prime number Twin prime Peter K. Gregersen Prime gap Mathematics Number theory Mathematical analysis
96	CAUCHY TYPE RESULTS CONCERNING LOCATION OF ZEROS OF POLYNOMIALS H. A. SOLEIMAN MEZERJI and M. BIDKHAM Abstract. Let p(z) be a polynomial with complex coefficients. In this paper, we obtain some new results concerning the Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2014-04-01 02:12:10 Complex analysis Zero Fundamental theorem of algebra Weierstrass preparation theorem Mathematical analysis Mathematics Abstract algebra
97	ISIT 2009, Seoul, Korea, June 28 - July 3, 2009 Dispersion of the Gilbert-Elliott Channel Yury Polyanskiy H. Vincent Poor Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-07-28 11:49:39 Information Statistical theory Coding theory Additive white Gaussian noise Noise Channel capacity Entropy Binary symmetric channel Central limit theorem Information theory Statistics Communication
98	ISIT 2009, Seoul, Korea, June 28 - July 3, 2009 Dispersion of Gaussian Channels Yury Polyanskiy H. Vincent Poor Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-07-28 11:49:50 Information Statistical theory Additive white Gaussian noise Noise Coding theory Channel capacity Central limit theorem Noisy-channel coding theorem Communication Information theory Statistics
99	C AHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES RONALD B ROWN P HILIP J. H IGGINS Add to Reading List Source URL: archive.numdam.org Language: English - Date: 2008-04-09 04:38:34 Mathematics Algebraic topology Category theory Higher category theory Algebraic structures CW complex Seifert–van Kampen theorem Groupoid Group action Abstract algebra Topology Homotopy theory
100	ON THE SECOND RELATIVE HOMOTOPY GROUP OF AN ADJUNCTION SPACE: AN EXPOSITION OF A THEOREM OF J. H. C. WHITEHEAD RONALD BROWN Dedicated to the memory of a friend and colleague, Peter Stefan Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-03-01 09:39:30 Mathematics Crossed module Homotopy group Whitehead theorem Seifert–van Kampen theorem Adjoint functors Algebraic topology Homotopy Hurewicz theorem Topology Homotopy theory Abstract algebra

UPDATE