SMT - PDFSEARCH.IO - Document Search Engine

SMT
Results: 999

#	Item
1	Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-21 06:41:07 Theoretical computer science Mathematics Computational complexity theory Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Automated reasoning
2	The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release: Add to Reading List Source URL: smtlib.cs.uiowa.edu Language: English - Date: 2017-07-21 16:19:02 Theoretical computer science Software engineering Computing Formal methods Logic in computer science Constraint programming Electronic design automation Satisfiability modulo theories SMT Solver Pascal Semantics
3	Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Mathematics Algebra Formal methods Logic in computer science Computability theory Models of computation Lambda calculus Satisfiability modulo theories -ring De Bruijn index
4	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
5	Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA) Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2015-02-17 10:00:22 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Standard Performance Evaluation Corporation Computer performance
6	Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for the Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-11-02 16:44:58
7	10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2016-05-20 07:13:03 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Lis Standard Performance Evaluation Corporation
8	Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng Tang Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-10 08:45:22 Logic Mathematics Automated theorem proving Formal languages Resolution Literal Regular expression Philosophy of mathematics (SAT -UNSAT)
9	SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-10-26 11:14:04 Logic Mathematical logic Mathematics Predicate logic Propositional calculus Semantics Philosophical logic Satisfiability modulo theories Predicate Literal Well-formed formula Model checking
10	Introduction Translation Caveats Conclusions SMT Solvers: New Oracles for the Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-11-14 10:24:00 Theoretical computer science Mathematical logic Logic Logic in computer science Formal methods Automated theorem proving Model theory NP-complete problems Satisfiability modulo theories Proof assistant First-order logic Solver