Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
181	Piazza Stats • • • Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-06 14:56:29 Software engineering Computing Computer programming Boolean algebra Data types Concurrent programming languages Object-oriented programming languages Boolean data type Boolean expression ALGOL 68 Java Const
182	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO
183	CONTRIBUTIONS TO GENERAL ALGEBRA 12 Pro eedings of the Vienna Conferen e, June 3{6, 1999 Verlag Johannes Heyn, Klagenfurt 2000 IMPLICATIONS OF PROPERTIES CONCERNING COMPLEMENTATION IN FINITE LATTICES Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:14:44 Algebraic logic Boolean algebra Lattice theory
184	Programming Question BBN (Beltway Bandits, NA) is building a query tool to help their grant writers find old proposals to reuse for new proposals. Your part is a “query improver” which should take a query and suggest Add to Reading List Source URL: cs.northwestern.edu Language: English - Date: 2004-06-24 16:16:44 Information science Information retrieval Statistical natural language processing Tfidf Vector space model Artificial neural network OPS5 Search engine technology Standard Boolean model Latent semantic analysis
185	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
186	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
187	Gowers U3 norm of cubic bent Boolean functions Sugata Gangopadhyay Department of Mathematics Indian Institute of Technology Roorkee The 11th International Conference on Finite Fields and their Applications Add to Reading List Source URL: www.math.uni-magdeburg.de Language: English Mathematical analysis Mathematics Analysis Fourier analysis Functions and mappings Fourier transform Joseph Fourier Germ Derivative
188	Typbasierte Programmtransformation Janis Voigtl¨ander Technische Universit¨ at Dresden 14. Juli 2009 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Data types Ordinal number Wellfoundedness Boolean data type Mathematical logic Computing Mathematics Type theory
189	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution

UPDATE