Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
101	sets-graph-msuc-opt.ipeps Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:43 Logic in computer science Automated theorem proving Constraint programming Boolean algebra Propositional calculus Unsatisfiable core Boolean satisfiability problem Resolution Maximum satisfiability problem Satisfiability Package manager Debian
102	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
103	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing
104	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
105	RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-07-13 14:33:31 Boolean algebra Formal methods Theoretical computer science Implicant Disjunctive normal form IP Lambda calculus Vector space Boolean satisfiability problem Bayesian network
106	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
107	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
108	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture IV Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-10-07 04:07:53 Complexity classes Computational complexity theory Boolean algebra Structural complexity theory NP-complete problems Boolean satisfiability problem NP PP Reduction True quantified Boolean formula Exponential time hypothesis P
109	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
110	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula