Disjunctive normal form - PDFSEARCH.IO - Document Search Engine

Disjunctive normal form
Results: 15

#	Item
1	Efficiently Evaluating Complex Boolean Expressions Marcus Fontoura Suhas Sadanandan Jayavel Shanmugasundaram Sergei Vassilvitski Erik Vee Srihari Venkatesan Jason Zien Yahoo! Research, 701 First Ave., Sunnyvale, CA 94089 Add to Reading List Source URL: fontoura.org Language: English - Date: 2010-03-16 13:13:45 Recursion Binary trees Knowledge representation Computability theory B-tree Binary expression tree Tree traversal Disjunctive normal form Tree Parallel Tree Contraction Interval tree
2	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
3	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
4	Formulas and Circuits 1 Formulas as circuits Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-09-26 17:01:08 Logic Disjunctive normal form Well-formed formula
5	Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-29 14:48:50 Logical consequence Deduction Boolean algebra Entailment Disjunctive syllogism Validity Modus ponens Disjunctive normal form Relevance logic Logic Rules of inference Propositional calculus
6	Indexing Boolean Expressions Steven Euijong Whang, Hector Garcia-Molina Stanford University, Stanford, CA {swhang,hector}@cs.stanford.edu Chad Brower, Jayavel Shanmugasundaram, Sergei Vassilvitskii, Erik Vee, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Algorithm Logic Applied mathematics Conjunctive normal form Disjunctive normal form Mathematics
7	Chapter 1 Our Adversary: The Circuit Boolean (or switching) functions map each sequence of bits to a single bit 0 or 1. Bit 0 is usually interpreted as “false”, and bit 1 as “true”. The simplest of such Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2012-03-10 09:14:00 Boolean algebra Algebraic logic Boolean function Parity function FO Disjunctive normal form Canonical form Circuit complexity Monotonic function Mathematics Mathematical logic Abstract algebra
8	On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas ˇ ˇ Ondˇrej Cepek and Stefan Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-12-21 14:10:02 Logic in computer science Boolean algebra Complexity classes NP-complete problems Conjunctive normal form Computational problems 2-satisfiability Boolean satisfiability problem Disjunctive normal form Theoretical computer science Computational complexity theory Applied mathematics
9	An Introduction to Binary Decision Diagrams Henrik Reif Andersen x Add to Reading List Source URL: fooo.fr Language: English - Date: 2013-02-15 14:26:20 Logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Propositional variable Truth table Canonical form Boolean algebra Mathematics Mathematical logic
10	Fault Classes and Error Detection Capability of Specifcation Based Testing D. Richard Kuhn National Institute of Standards and Technology Gaithersburg, Maryland[removed]USA Some varieties of specifcation based testing Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 10:47:44 Computing Boolean algebra Control theory Fault Power engineering Negation Code coverage Test Disjunctive normal form Software engineering Logic Software testing

UPDATE