Implicant

Results: 14



#Item
1Boolean algebra / Formal methods / Theoretical computer science / Implicant / Disjunctive normal form / IP / Lambda calculus / Vector space / Boolean satisfiability problem / Bayesian network

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
2Implicant / Binary decision diagram / Function / Polynomial / Vector space / Constructible universe / Mathematics / Algebra / Boolean algebra

Microsoft Word - PiecewiseLinCombined32.doc

Add to Reading List

Source URL: ticsp.cs.tut.fi

Language: English - Date: 2008-03-21 14:41:50
3Elementary mathematics / Boolean algebra / Statistical models / Randomness / Stochastic process / Qualitative comparative analysis / Implicant / Differential equation / Regression analysis / Statistics / Mathematics / Econometrics

Qualitative Comparative Analysis A Discussion of Interpretations G. Rohwer January 2008

Add to Reading List

Source URL: www.stat.ruhr-uni-bochum.de

Language: English - Date: 2014-02-26 08:39:04
4XK / Structure / Boolean algebra / Implicant / Vehicle Identification Number

Artificial Intelligence in Medicine – 254 Using Boolean reasoning to anonymize databases Aleksander Øhrn a,*, Lucila Ohno-Machado b,1 a Knowledge Systems Group, Department of Computer and Information Sc

Add to Reading List

Source URL: dsg.harvard.edu

Language: English - Date: 2001-01-10 11:57:24
5Mathematical logic / Implicant / Lookup table / Canonical form / Boolean satisfiability problem / Conjunctive normal form / Binary decision diagram / Truth table / Boolean function / Boolean algebra / Theoretical computer science / Mathematics

Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA

Add to Reading List

Source URL: cadlab.cs.ucla.edu

Language: English - Date: 2007-02-13 15:10:27
6Elementary mathematics / Implicant / Functions and mappings / Canonical form / Function / Symmetric matrix / Variable / Symmetric function / Polynomial / Mathematics / Algebra / Boolean algebra

NPS-EC[removed]NAVAL POSTGRADUATE SCHOOL Monterey, California On the Properties of Multiple-Valued

Add to Reading List

Source URL: edocs.nps.edu

Language: English - Date: 2004-06-04 12:25:43
7Circuit complexity / Computational complexity theory / Boolean algebra / Complexity classes / Implicant / Logic in computer science / Boolean circuit / Circuit / ACC0 / Theoretical computer science / Mathematics / Applied mathematics

On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨

Add to Reading List

Source URL: www.thi.informatik.uni-frankfurt.de

Language: English - Date: 2010-11-03 11:40:59
8Circuit complexity / Computational complexity theory / Boolean algebra / Complexity classes / Implicant / Logic in computer science / Boolean circuit / Circuit / ACC0 / Theoretical computer science / Mathematics / Applied mathematics

On the Incompressibility of Monotone DNFs Matthias P. Krieger∗ Johann Wolfgang Goethe-Universit¨at Frankfurt am Main Institut f¨ ur Informatik Lehrstuhl f¨

Add to Reading List

Source URL: lovelace.thi.informatik.uni-frankfurt.de

Language: English - Date: 2010-11-03 11:40:59
9Karnaugh map / Thai alphabet / Implicant / K / Canonical form / Abstraction / Notation / Boolean algebra / Mathematics / Quine–McCluskey algorithm

3 ก ก

Add to Reading List

Source URL: narong.ece.engr.tu.ac.th

Language: English - Date: 2012-01-16 09:35:39
10Karnaugh map / Logic / Implicant / Canonical form / Truth table / Logic gate / Quine–McCluskey algorithm / Boolean algebra / Mathematical logic / Mathematics

Microsoft PowerPoint - EE 2310 Lecture #5 -- Logic Simplification Using Karnaugh Maps Without Answers.ppt

Add to Reading List

Source URL: www.utdallas.edu

Language: English - Date: 2012-02-01 13:43:44
UPDATE