Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
631	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-01-29 07:56:37 Model theory Information science Ontology Boolean satisfiability problem Description logic First-order logic Algorithm Axiom Satisfiability Logic Mathematical logic Mathematics
632	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:27:01 Constraint programming Logic in computer science Combinatorial optimization Heuristics Operations research Guided Local Search WalkSAT Local search Maximum satisfiability problem Theoretical computer science Mathematics Applied mathematics
633	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:26:52 Logic in computer science Operations research Constraint programming NP-complete problems Heuristics Guided Local Search Local search Boolean satisfiability problem Tabu search Theoretical computer science Applied mathematics Mathematics
634	PDF Document Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:04 Mathematics Metalogic Logic in computer science Electronic design automation NP-complete problems Automated theorem proving Satisfiability Modulo Theories John Rushby Model checking Theoretical computer science Formal methods Logic
635	PDF Document Add to Reading List Source URL: questioncentre.files.wordpress.com Language: English - Date: 2011-04-27 02:10:27 Logical truth Model theory Satisfiability
636	PDF Document Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-05-11 00:32:50 Package management system Debian SYS Fink Ubuntu Boolean satisfiability problem Package Linear programming ZYpp Software Dpkg Advanced Packaging Tool
637	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:43 Metalogic Model theory Logic in computer science Formal languages Propositional calculus Substitution Symbol Boolean satisfiability problem Structure Mathematics Logic Theoretical computer science