Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
601	i Computational Complexity: A Modern Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-01-08 22:00:26 Complexity classes NP P versus NP problem Cook–Levin theorem P Boolean satisfiability problem Reduction Time complexity Co-NP-complete Theoretical computer science Computational complexity theory Applied mathematics
602	Theory of Computation Chapter 9 Guan-Shieng Huang Add to Reading List Source URL: staffweb.ncnu.edu.tw Language: English - Date: 2004-02-15 23:56:23 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics
603	P = NP Vinay Deolalikar HP Research Labs, Palo Alto Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-08-08 08:45:30 Complexity classes Mathematical optimization Finite model theory Statistical models Graphical model P versus NP problem Markov random field Boolean satisfiability problem NP Theoretical computer science Computational complexity theory Applied mathematics
604	Constraint Satisfaction: A Personal Perspective Tom´as Feder 268 Waverley St., Palo Alto, CA 94301, USA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-09 15:48:02 Complexity classes Constraint satisfaction P versus NP problem NP-complete NP P Boolean satisfiability problem 2-satisfiability Oracle machine Theoretical computer science Computational complexity theory Applied mathematics
605	Journal on Satisfiability, Boolean Modeling and Computation[removed] Generating and Searching Families of FFT Algorithms Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2011-11-21 09:12:30 Fast Fourier transform Split-radix FFT algorithm Discrete Fourier transform Twiddle factor Cooley–Tukey FFT algorithm Mathematical analysis Fourier analysis Digital signal processing
606	Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2009-01-24 01:34:38 Model theory Satisfiability Modulo Theories Interpretation Boolean satisfiability problem Well-formed formula Structure Uninterpreted function Theory Signature Logic Mathematical logic Mathematics
607	S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2007-02-18 15:26:16 Mathematics Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Mathematical optimization Program optimization Satisfiability Modulo Theories Theoretical computer science Applied mathematics Formal methods
608	Binary vs. Non-Binary Constraints Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 12:40:52 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
609	THE COMPLEXITY OF SATISFIABILITY PROBLEMS Thomas J. Schaefer* Department of Mathematics Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-08-30 11:43:07 MAX-3SAT Combinatory logic Mathematics Theoretical computer science Computer programming
610	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic