Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
521	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
522	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
523	The Hong Kong Polytechnic University at the TREC 2004 Robust Track D.Y. Wang, R.W.P. Luk, K.F. Wong1 Department of Computing The Hong Kong Polytechnic University 1 Add to Reading List Source URL: trec.nist.gov Language: English WordNet Vector space model Query expansion Relevance feedback Word-sense disambiguation Document retrieval Extended Boolean model Precision and recall Natural language processing Information science Information retrieval Science
524	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
525	Website: www.chestysoft.com Email: csXPostUpload - Version 1.1 ActiveX Control to Post Files to a Server Using HTTP Add to Reading List Source URL: www.chestysoft.com Language: English - Date: 2010-10-20 06:51:56 Boolean algebra Procedural programming languages Boolean data type Visual Basic FALSE Computing Software engineering Computer programming
526	Workshop MATH THEIR WAY ® The most enjoyable, practical, influential, and enlightening hands-on workshop you can take to help you teach math for grades K-2! Prices Add to Reading List Source URL: www.center.edu Language: English - Date: 2013-07-02 18:21:33 Education reform Algebra Boolean algebra Propositional calculus National Council of Teachers of Mathematics Logical disjunction XTR IP Abstract algebra Mathematics Mathematics education
527	Dynamics of Directed Boolean Networks under Generalized Elementary Cellular Automata Rules, with Power-Law Distributions and Popularity Assignment of Parent Nodes Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Networks Scale-free network Normal distribution Complex network Boolean network Small-world network Kurtosis Degree distribution Bayesian network Graph theory Network theory Statistics
528	Dependency Solving: a Separate Concern in Component Evolution ManagementI Pietro Abatea , Roberto Di Cosmoa,b , Ralf Treinena , Stefano Zacchirolia a Univ Paris Diderot, Sorbonne Paris Cit´ Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:55 Object-oriented programming Software distribution SUSE Linux ZYpp Archive formats Package management system Boolean satisfiability problem Package Debian Software Computing System software
529	Interconnection Semantics for Keyword Search in XML Sara Cohen∗ Yaron Kanza Technion—Israel Institute of Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-11-04 06:34:23 Complexity classes NP-complete problems Logic in computer science Graph connectivity Graph theory Tree Connectivity L Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
530	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra

UPDATE