Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
981	The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler† MIT CSAIL and † Harvard University Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Mathematics Software engineering Concurrent computing Application programming interfaces Commutative property Symmetry Boolean algebra POSIX Lock Computing Concurrency control Transaction processing
982	Boolean Searching – the Operators explained & = And The AND operator means that all terms in the "& group" must match some part of the searched field(s). To search for documents that contain "Recruitment Consultant" an Add to Reading List Source URL: s3-eu-west-1.amazonaws.com Language: English - Date: 2014-05-26 22:26:02 Recruitment Sourcing Full text search Information science Information retrieval Search engine indexing
983	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Don’t care in SMT⋆ Building flexible yet efficient abstraction/refinement solvers Andreas Bauer1 , Martin Leucker2 , Christian Sc Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-10-01 20:34:14 Mathematics Model theory Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Symbol Theoretical computer science Constraint programming Mathematical logic
984	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
985	VOLUME 84, NUMBER 24 PHYSICAL REVIEW LETTERS 12 JUNE 2000 Add to Reading List Source URL: www.barabasilab.com Language: English - Date: 2008-04-11 15:56:42 Percolation theory Mathematics Science Physics Bioinformatics Boolean network Logic
986	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner ([removed]) NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-06 22:20:08 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
987	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic
988	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
989	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics
990	ADDITIONAL FUND/ORGANIZATION ACCESS REQUIREMENTS NOTE: This form must be accompanied by an Aurora Finance System Access Request Form to be processed GENERAL INFORMATION Add to Reading List Source URL: www.umanitoba.ca Language: English - Date: 2015-03-25 10:19:07 Boolean algebra Propositional calculus Algebraic topology Logic Mathematics Mathematical logic Group theory

UPDATE