Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
191	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
192	Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 04:44:10 Mathematical analysis Mathematics Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Inverse trigonometric functions Boolean algebra Holomorphic functional calculus
193	Worksheet on Truth Tables and Boolean Algebra September 24, Write a truth table for the logical statement ¬(P ∨ Q) =⇒ (¬P ∧ Q). Do it step by step (i.e. include columns for ¬P and P ∨ Q etc., building Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Mathematics Abstraction Boolean algebra Semantics Mathematical logic Propositional calculus Logical truth Tautology Truth table Boolean Negation
194	1 Testing for Programmers Brian Marick www.testing.com Add to Reading List Source URL: www.exampler.com Language: English - Date: 2016-06-29 18:26:10 Software testing Extreme programming Control flow Eval Boolean data type Software bug Relational operator Unit testing
195	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
196	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
197	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
198	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons
199	245 Doc. Math. J. DMV Boolean Localization, in Practice Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:15 Homotopy theory Sheaf theory Category theory Functors Algebraic topology Simplicial presheaf Model category Sheaf Simplicial set Topos Grothendieck topology Stalk
200	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form

UPDATE