2-satisfiability - PDFSEARCH.IO - Document Search Engine

2-satisfiability
Results: 107

#	Item
101	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
102	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2007-04-16 00:53:37 2-satisfiability True quantified Boolean formula Connectivity SL NP-complete problems Matching Vertex cover Skew-symmetric graph Theoretical computer science Mathematics Graph theory
103	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-11-10 13:57:34 Mathematical optimization NP-complete problems Combinatorial optimization Complexity classes Maximum cut Semidefinite programming NP 2-satisfiability Approximation algorithm Theoretical computer science Computational complexity theory Applied mathematics
104	PDF Document Add to Reading List Source URL: stationq.cnsi.ucsb.edu Language: English - Date: 2008-02-01 12:23:22 Complexity classes Decision problem P versus NP problem NP-complete NP Polynomial Boolean satisfiability problem Time complexity 2-satisfiability Theoretical computer science Computational complexity theory Applied mathematics
105	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-10-12 16:16:00 NP-complete problems Logic in computer science Boolean algebra Analysis of algorithms Exponential time hypothesis 2-satisfiability Conjunctive normal form Boolean satisfiability problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
106	PDF Document Add to Reading List Source URL: people.clarkson.edu Language: English - Date: 2010-01-28 15:52:09 Complexity classes NP-complete problems Mathematical optimization NP-complete Boolean satisfiability problem 2-satisfiability NP P versus NP problem Vertex cover Theoretical computer science Computational complexity theory Applied mathematics
107	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-04-24 17:27:28 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science 2-satisfiability Conjunctive normal form PP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics

UPDATE