Modulo - PDFSEARCH.IO - Document Search Engine

Modulo
Results: 4039

#	Item
11	12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:59 Theoretical computer science Computing NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
12	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:22 Theoretical computer science Logic in computer science Formal methods NP-complete problems Electronic design automation Constraint programming Satisfiability modulo theories Alt-Ergo Solver Benchmark SMT
13	SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-19 09:02:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation
14	Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis? , Albert Oliveras? , and Cesare Tinelli ?? Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-01-28 04:06:06 Theoretical computer science Mathematical logic Mathematics Automated theorem proving Boolean algebra Constraint programming Logic in computer science Formal methods DPLL algorithm Conflict-driven clause learning Boolean satisfiability problem Satisfiability modulo theories
15	DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-06-14 03:44:48 Theoretical computer science Mathematics Mathematical logic Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Unit propagation Literal
16	Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-07-31 08:38:18 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Logic in computer science Formal methods Propositional calculus Satisfiability modulo theories DPLL algorithm Unit propagation Solver
17	Splitting on Demand in SAT Modulo Theories Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli New York Univ. Techn. Univ. Catalonia Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-11-16 20:30:50 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Phnom Penh Solver Propositional calculus
18	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell? Abstract. Many highly sophisticated tools exist for Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-08 10:37:46 Theoretical computer science Mathematics Computational complexity theory Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem Linear programming AMPL
19	13th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann Aina Niemetz Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:50:57
20	Satisfiability Modulo ODEs Sicun Gao Soonho Kong Edmund M. Clarke Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Mathematics Mathematical analysis Theoretical computer science Differential calculus Numerical analysis Ordinary differential equation Taylor's theorem Differential-algebraic system of equations Satisfiability modulo theories PROPT

UPDATE