Satisfiability - PDFSEARCH.IO - Document Search Engine

Satisfiability
Results: 637

#	Item
131	Satisfiability of a Spatial Logic with Tree Variables Emmanuel Filiot INRIA Futurs, Lille, Mostrare Project Jean-Marc Talbot University of Provence, LIF, Marseille Sophie Tison University of Lille1, LIFL, Mostrare Projec Add to Reading List Source URL: www.ulb.ac.be Language: English - Date: 2013-09-02 09:14:18
132	SATISFIABILITY, BRANCH-WIDTH AND TSEITIN TAUTOLOGIES Michael Alekhnovich and Alexander Razborov August 24, 2011 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-08-24 03:35:26
133	Satisfiability Solving for Program Verification: towards the Efficient Combination of Automated Theorem Provers and Satisfiability Modulo Theory Tools Silvio Ranise1,2 1 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2006-10-25 04:16:55
134	Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories
135	LNCSTheory and Applications of Satisfiability Testing – SAT 2010 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-30 23:01:08
136	A Satisfiability Algorithm for AC0 Russell Impagliazzo ∗ William Matthews Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-30 22:11:42
137	SAT Race 2015 ´ s Balyo, Markus Iser, Carsten Sinz \| September 22, 2015 Tomaˇ SAT18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING Add to Reading List Source URL: baldur.iti.kit.edu Language: English - Date: 2015-09-25 00:09:37
138	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
139	SAT-solving in practice Koen Claessen, Niklas Een, Mary Sheeran and Niklas S¨orensson Abstract— Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-04-25 07:47:00
140	Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Predicate logic Frama-C Satisfiability modulo theories TPTP Mereology SPASS

UPDATE