Modulo - PDFSEARCH.IO - Document Search Engine

Modulo
Results: 4039

#	Item
21	Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis1 , Albert Oliveras1 , and Cesare Tinelli2 1 Technical University of Catalonia Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-03-21 16:24:36 Theoretical computer science Mathematics Computational complexity theory Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem DPLL Phase-locked loop Satisfiability
22	11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-02 05:15:08 Computing Theoretical computer science Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer
23	On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-04-28 13:17:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Maximum satisfiability problem Unit propagation
24	Decision procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools? Robert Nieuwenhuis and Albert Oliveras?? Abstract. An overview is given of a number of recent developments Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-10-12 08:17:46 Theoretical computer science Mathematical logic Mathematics Automated theorem proving Logic in computer science Constraint programming Boolean algebra Electronic design automation Boolean satisfiability problem Satisfiability modulo theories Unit propagation Resolution
25	10th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2016-05-20 07:13:10 Computing Theoretical computer science Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer
26	Satisfiability Modulo Theories Tjark Weber Oberseminar Statische Analyse November 11, 2004 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:54 Theoretical computer science Logic Logic in computer science Mathematical logic Model theory Electronic design automation Formal methods NP-complete problems Satisfiability
27	Introduction SAT Solvers Satisfiability Modulo Theories Conclusions Integrating SAT and SMT Solvers Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-09-10 10:56:53 Theoretical computer science Logic Mathematics Formal methods Logic in computer science Boolean algebra Electronic design automation NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Solver Propositional calculus
28	Satisfiability Modulo Theories and the SMT Competition Tjark Weber March 29, 2017 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2017-04-04 10:36:24 Theoretical computer science Logic in computer science Computational complexity theory Mathematics Electronic design automation Formal methods NP-complete problems Combinatorial optimization Satisfiability modulo theories Boolean satisfiability problem Job shop scheduling SMT
29	A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-07-14 06:59:10 Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Mathematics Constraint programming Satisfiability modulo theories Boolean satisfiability problem Array data type Literal Matrix
30	Introduction Finite Model Generation Proof-Producing SAT Solvers Satisfiability Modulo Theories Finite Model Generation, Proof-Producing Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-02-03 09:54:08 Theoretical computer science Logic Mathematical logic Logic in computer science Formal methods Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Satisfiability Propositional calculus Solver

UPDATE