Leonardo - PDFSEARCH.IO - Document Search Engine

Leonardo
Results: 2907

#	Item
1	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
2	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-25 04:45:02 Computer programming Software engineering Combinatorial optimization Matching Monad Conditional
3	Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring
4	Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-09 11:57:18 Logic Mathematical logic Theoretical computer science Model theory Logic in computer science Logical truth Philosophy of logic Satisfiability Convex function Universal quantification Boolean satisfiability problem
5	DOC Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2017-12-05 06:30:04
6	DOC Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2017-11-24 10:30:10
7	DOC Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2017-08-16 07:36:18
8	DOCX Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2017-11-28 04:30:02
9	DOC Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2017-08-16 07:34:49
10	DOC Document Add to Reading List Source URL: www.leonardo.ovgu.de - Date: 2018-08-14 04:30:05