Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
111	Smoothed Complexity Theory Markus Bl¨aser1 and Bodo Manthey2 1 Saarland University, 2 Add to Reading List Source URL: www-cc.cs.uni-saarland.de Language: English - Date: 2014-01-17 04:45:53 Complexity classes Computational complexity theory Mathematical optimization Analysis of algorithms NP-complete problems Smoothed analysis IP PP NP Time complexity Average-case complexity Boolean satisfiability problem
112	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
113	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
114	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
115	Satisfiability Modulo Theories and DPLL(T) Andrew Reynolds March 18, 2015 Overview Add to Reading List Source URL: lara.epfl.ch Language: English
116	FINITE MODEL FINDING IN SATISFIABILITY MODULO THEORIES by Andrew Joseph Reynolds A thesis submitted in partial fulfillment of the Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-01-20 16:30:46
117	Extending Satisfiability Modulo Theories to Quantifed Formulas Andrew Reynolds University of Iowa September 24, 2012 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-09-29 12:55:54
118	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
119	Satisfiability Modulo Theories : Beyond Decision Procedures Andrew Reynolds May 20, 2015 SMT Solvers for Software Verification/Security Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2015-06-01 06:41:45
120	In Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL98), pages 69-78, Tallinn, Estonia, Springer-Verlag, 1998. Acceleration of Satisfiability Algorithms by Reconfigurable Har Add to Reading List Source URL: si2.epfl.ch Language: English - Date: 2005-05-20 05:52:26