Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
611	PDF Document Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2001-03-30 15:59:53 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem GRASP Unit propagation Resolution Theoretical computer science Mathematics Mathematical logic
612	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
613	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
614	PDF Document Add to Reading List Source URL: www.logic.rwth-aachen.de Language: English - Date: 2007-04-25 06:02:11 Metalogic Model theory Logical syntax Formal languages FO Well-formed formula First-order logic Satisfiability True quantified Boolean formula Logic Mathematics Mathematical logic
615	PDF Document Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-10-15 05:36:10 Automated theorem proving Boolean algebra Constraint programming Logic in computer science Propositional calculus DPLL algorithm Boolean satisfiability problem Satisfiability Modulo Theories Unit propagation Theoretical computer science Mathematical logic Mathematics
616	PDF Document Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Operations research Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Maximum satisfiability problem ZYpp Solver Theoretical computer science Applied mathematics Mathematics
617	PDF Document Add to Reading List Source URL: www-imai.is.s.u-tokyo.ac.jp Language: English - Date: 2003-05-03 02:39:28 Complexity classes Mathematical optimization NP-complete Boolean satisfiability problem NP IP MAX-3SAT Cook–Levin theorem Theoretical computer science Computational complexity theory Applied mathematics
618	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-05-24 22:16:31 Complexity classes NP-complete P versus NP problem NP-hard NP Boolean satisfiability problem P Bounded-error probabilistic polynomial NEXPTIME Theoretical computer science Computational complexity theory Applied mathematics
619	PDF Document Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-03-19 21:28:41 Formal methods Logic in computer science Model theory Philosophy of mathematics Automated theorem proving Satisfiability Modulo Theories First-order logic Satisfiability Logic Theoretical computer science Mathematics Mathematical logic
620	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