LIB - PDFSEARCH.IO - Document Search Engine

LIB
Results: 28910

#	Item
1	The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release: Add to Reading List Source URL: smtlib.cs.uiowa.edu Language: English - Date: 2017-07-21 16:19:02 Theoretical computer science Software engineering Computing Formal methods Logic in computer science Constraint programming Electronic design automation Satisfiability modulo theories SMT Solver Pascal Semantics
2	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-01 09:29:03 Computer programming Declarative programming Theoretical computer science Logic in computer science Cryptography Satellite broadcasting Scrambler Telecommunications equipment Satisfiability modulo theories Scrambling Monad Benchmark
3	LIB - Early Voting Locations- General Location.xlsx Add to Reading List Source URL: dos.myflorida.com Language: English - Date: 2018-10-22 10:27:08 Television in the United States American television Loadshedding Schedule 198586 United States network television schedule
4	Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematical logic Theoretical computer science Formal methods Constraint programming Alloy Massachusetts Institute of Technology Z notation Predicate logic SMT Predicate Constraint satisfaction problem Satisfiability modulo theories
5	What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Mathematical logic Mathematics Formal methods Automated theorem proving Logic in computer science School of Computer Science University of Manchester Constraint programming Satisfiability modulo theories Solver Logic programming Resolution
6	PDF Document Add to Reading List Source URL: www.lib.kisarazu.chiba.jp - Date: 2018-03-30 05:00:02
7	PDF Document Add to Reading List Source URL: www.lib.aichi-gakuin.ac.jp - Date: 2017-02-06 02:53:32
8	PDF Document Add to Reading List Source URL: cdil.lib.uidaho.edu - Date: 2018-02-09 12:26:00
9	PDF Document Add to Reading List Source URL: web.lib.aalto.fi - Date: 2018-05-17 07:05:59
10	PDF Document Add to Reading List Source URL: www.lib.m.u-tokyo.ac.jp - Date: 2017-01-12 20:33:42