Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
771	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
772	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
773	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
774	Specification of FlatZinc Version 1.0 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 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
775	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 8 Lower Bounds for Linear Satisfiability Problems ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:17:56 Computational complexity theory Abstract algebra Linear algebra NP-complete problems Logic in computer science Boolean satisfiability problem Time complexity PP Element distinctness problem Theoretical computer science Mathematics Algebra
776	Sector Partnership (SP) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by 11:59 PM EDT on May 29, 2015 Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-07 12:03:18 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
777	Orthogonal basis for functions over a slice of the Boolean hypercube Yuval Filmus Institute for Advanced Study, Princeton, NJ November 20, 2014 Abstract We present a simple, explicit orthogonal basis of eigenvectors for Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-11-20 17:32:17 Polynomials Multilinear algebra Algebraic geometry Orthogonal polynomials Vector space Homogeneous polynomial Basis Inner product space Schwartz–Zippel lemma Algebra Mathematics Linear algebra
778	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-12 00:13:50 Complexity classes Boolean algebra Constraint programming Mathematical optimization Boolean satisfiability problem Constraint satisfaction problem NP-complete Belief propagation NP Theoretical computer science Computational complexity theory Applied mathematics
779	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
780	Stereology and Image Analysis. Ecs10 - Proceedings of the 10th European Congress of ISS, (V.Capasso et al. Eds.), The MIRIAM Project Series, ESCULAPIO Pub. Co., Bologna, Italy, 2009 MODEL FOR RANDOM UNION OF INTERACTING Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2009-07-06 10:59:40 Boolean model Probability theory Neural networks

UPDATE