Sri - PDFSEARCH.IO - Document Search Engine

Sri
Results: 9118

#	Item
1	Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Mathematics Algebra Linear programming Linear algebra Elementary algebra Inequality Linear inequality Expected value Simplex algorithm Boolean satisfiability problem Cutting-plane method Equation solving
2	Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-02-14 13:21:39
3	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Probability and statistics Probability theory Artificial intelligence Machine learning Computational statistics Graphical models Computational linguistics Natural language processing Conditional random field Probabilistic programming language Inference Support vector machine
4	Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59
5	Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´ Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure
6	Robust Relational Layout Synthesis from Examples for Android Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-10-19 10:28:46 Computational chemistry Constraint Computational science Physics Applied mathematics
7	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
8	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-08-26 19:53:27 Computational complexity theory Theoretical computer science Logic in computer science Boolean algebra Circuit complexity Complexity classes Electronic design automation True quantified Boolean formula Satisfiability modulo theories NC FO Boolean circuit
9	PDF Document Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:00
10	PDF Document Add to Reading List Source URL: files.sri.inf.ethz.ch - Date: 2018-09-05 10:57:59