Robert

Results: 56768



#Item
1Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2005-02-02 07:20:48
2The Next Bigly Thing : Plastic-To-Oil by Robert A. Nelson Many experts warn that we are on the down side of the

The Next Bigly Thing : Plastic-To-Oil by Robert A. Nelson Many experts warn that we are on the down side of the "Peak Oil" Bell Curve of supply:demand -- but we clever hominids shall probe ever deeper with mighty microwa

Add to Reading List

Source URL: www.rexresearch.com

Language: English - Date: 2017-12-30 23:59:28
3SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

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
4NetChain: Scale-Free Sub-RTT Coordination Xin Jin Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica

NetChain: Scale-Free Sub-RTT Coordination Xin Jin Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2018-04-17 14:04:35
5June 14, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off

June 14, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-06-14 16:54:43
6to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute

to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-02 20:31:08
7Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo

Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-09-19 06:11:44
8The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2008-04-24 09:03:36
9An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
10July 17, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off

July 17, 2018 The Honorable Robert Latta, Chairman The Honorable Janice Schakowsky, Ranking Member U.S. House Committee on Energy and Commerce Subcommittee on Digital Commerce & Consumer Protection 2125 Rayburn House Off

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-07-17 13:38:48