Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
331	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
332	Invited Talk 2.2 BOOLEAN NETWORK MODELS FOR BIOLOGICAL REGULATION: PROSPECTS AND LIMITATIONS Stefan Bornholdt University of Bremen, Germany Abstract Add to Reading List Source URL: www.ifr.ac.uk Language: English - Date: 2008-07-23 07:01:06
333	LNCSA Tutorial on Satisfiability Modulo Theories Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Symbol Conjunctive normal form
334	Boolean decision problems with competing interactions on scale-free networks: Equilibrium and nonequilibrium behavior in an external bias Zheng Zhu,1 Juan Carlos Andresen,2 M. A. Moore,3 and Helmut G. Katzgraber1, 4 1 a Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-18 22:55:40
335	ChemChains sandbox http://jays.net/wiki/ChemChains_sandbox Modeling cell biology in a boolean network. YAPC::NA 2008 Add to Reading List Source URL: dl.dropboxusercontent.com
336	A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Logic Mathematics Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Simplex algorithm Satisfiability
337	KUIS{94{0002 Nonlinearity criteria of Boolean functions HIROSE Shouichi IKEDA Katsuo Add to Reading List Source URL: fuee.u-fukui.ac.jp Language: English - Date: 2005-05-25 23:24:09
338	Pre-processing in Boolean Satisfiability Using Bounded -Consistency on Regions with Locally Difficult Constraint Setup Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
339	GWorks www.DNAGedcom.com GWorks (“G” as in gold!) is a powerful suite of tools custom-designed to help genealogists find buried treasure in family trees. GWorks can sort, filter, compare and perform Boolean searches Add to Reading List Source URL: www.dnagedcom.com Language: English - Date: 2016-02-08 18:46:59 Software Freeware Portable software GEDCOM Genealogy software Ancestry.com Google Chrome Control Panel
340	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Computational complexity theory Theoretical computer science Theory of computation Logic in computer science Formal methods Boolean algebra Complexity classes Electronic design automation Satisfiability modulo theories True quantified Boolean formula FO NC

UPDATE