Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
721	Specification of Zinc and MiniZinc Zinc version 0.11 MiniZinc version 1.1 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-08-26 04:03:22 Computer programming Literal Type system Boolean data type Primitive data type C Array data type Enumerated type ALGOL 68 Data types Software engineering Computing
722	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
723	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-20 22:53:43 NP-complete problems Conjunctive normal form Combinatorics Boolean satisfiability problem String Permutation PP 2-satisfiability MAX-3SAT Theoretical computer science Mathematics Computational complexity theory
724	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
725	Quantum boolean functions Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 14:40:27 Physics Models of computation Quantum algorithm Quantum measurement Quantum computer Quantum error correction Quantum circuit Quantum mechanics Boolean algebra Theoretical computer science Quantum information science Applied mathematics
726	ChipDesigner% CUPL compatible $BIT Window NT based EDA Tool for Programmable Logic Logical Devices. Inc. announces a new fully integrated design tool for PLD and FPGA’s for the Windows NT platform Add to Reading List Source URL: www.logicaldevice.com Language: English - Date: 2013-08-02 21:36:02 Electronic design Field-programmable gate array OrCAD Logic synthesis Application-specific integrated circuit VHDL Programmable logic device Advanced Boolean Expression Language Electronic engineering Electronic design automation Hardware description languages
727	Learning Outcomes • At the end of this lecture you should: understand how logic relates to computing problems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-09-05 06:45:45 Boolean algebra Logic gates Propositional calculus Logical connectives Algebraic logic XOR gate Exclusive or Truth table OR gate Mathematics Mathematical logic Abstract algebra
728	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
729	An Algorithm for Affine Approximation of Binary Decision Diagrams Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 16:47:00 Complete Boolean algebra Affine space FO Boolean algebra Mathematics Boolean function
730	Lifted MAP Inference for Markov Logic Networks Somdeb Sarkhel, Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-02-25 21:05:55 Propositional calculus Theoretical computer science Boolean algebra Artificial intelligence Markov logic network Propositional variable Resolution Boolean satisfiability problem First-order logic Logic Mathematical logic Mathematics

UPDATE