UU - PDFSEARCH.IO - Document Search Engine

UU
Results: 9000

#	Item
51	PDF Document Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:40 Theoretical computer science Mathematical logic Logic Logic in computer science Proof assistants Boolean algebra Formal methods Automated theorem proving Resolution Boolean satisfiability problem Isabelle Logic for Computable Functions
52	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
53	Decision Procedures for Flat Array Properties F. Alberti1,3 , S. Ghilardi2 , N. Sharygina1 1 University 2 3 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-17 11:28:50 Array programming Array data type Array Computing Computer programming Software engineering
54	PDF Document Add to Reading List Source URL: www.phil.uu.nl - Date: 2016-06-22 17:12:35
55	PDF Document Add to Reading List Source URL: uu.diva-portal.org - Date: 2017-03-07 06:42:05
56	PDF Document Add to Reading List Source URL: user.it.uu.se - Date: 2015-04-24 08:32:30
57	PDF Document Add to Reading List Source URL: user.it.uu.se - Date: 2013-09-06 04:06:46
58	PDF Document Add to Reading List Source URL: user.it.uu.se - Date: 2012-09-03 03:13:30
59	PDF Document Add to Reading List Source URL: user.it.uu.se - Date: 2008-09-22 12:58:30
60	PDF Document Add to Reading List Source URL: www.palaeontology.geo.uu.se - Date: 2014-10-14 11:55:14

UPDATE