Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
731	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
732	Specification of FlatZinc Nicholas Nethercote Version Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type Array data type C ECL programming language Software engineering Computing Computer programming
733	Decidability of Systems of Set Constraints with Negative Constraints Alexander Aikeny University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:09:24 Artificial intelligence Decomposition method Constraint logic programming Constraint programming Boolean algebra Mathematics
734	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
735	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
736	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
737	Mario AI Competition @ ICE-GIC 2009 Sergey Karakovskiy and Julian Togelius Thursday, August 27, 2009 Add to Reading List Source URL: www.islab.ntua.gr Language: English - Date: 2012-10-14 18:35:22 Boolean algebra Boolean data type Java Computing Software engineering Computer programming
738	Scalable Error Detection using Boolean Satisfiability Yichen Xie∗ Alex Aiken∗ Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-12-14 15:17:59 Functions and mappings Function Pointer Objective-C C Entailment Stack Logic Software engineering Computing
739	Specification of FlatZinc Nicholas Nethercote Version 0.9 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-12-23 00:30:53 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type ECL programming language Array data type C Software engineering Computing Computer programming
740	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† May 31, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:28:45 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum circuit Quantum computer Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics

UPDATE