Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
421	Entity with Attributes View Add to Reading List Source URL: www.danieljacobson.com Language: English - Date: 2012-01-03 06:29:58 Computing Variables Boolean data type Mathematics Data types Software engineering Type theory
422	First-order reasoning in Yices2 Master Thesis in Computer Science Simon Cruanes∗ supervised by Bruno Dutertre †, Viktor Kuncak ‡, Benjamin Werner § SRI International, Menlo Park, CA September 2011 – March 2012 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2013-02-07 03:54:46 Automated theorem proving Model theory Logic in computer science Constraint programming NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories DPLL algorithm Interpretation Theoretical computer science Logic Mathematical logic
423	BRICS RS-05-9 Frandsen & Miltersen: Reviewing Bounds on the Circuit Size of the Hardest Functions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:33:41 Circuit complexity Complexity classes Mathematical notation Computational complexity theory Stack Boolean circuit Summation NC ACC0 Theoretical computer science Mathematics Applied mathematics
424	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
425	Alternative questions through focus alternatives in Mandarin Chinese Michael Yoshitaka Erlewine Massachusetts Institute of Technology 1 Introduction In this paper I discuss the syntax/semantics of alternative questions i Add to Reading List Source URL: mitcho.com Language: English - Date: 2015-01-03 16:19:44 Boolean algebra Mathematics Propositional calculus Logical connectives Human communication Yes–no question Logical disjunction Question A-not-A question Grammar Abstract algebra Linguistics
426	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics
427	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
428	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics
429	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
430	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.ibiblio.org Language: English - Date: 2014-10-19 15:52:16 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic

UPDATE