Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
371	SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-19 09:02:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation
372	PDF Document Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:29 Logic Mathematical logic Mathematics Predicate logic Classical logic Proof theory Constructivism Semantics Propositional calculus First-order logic Intuitionistic logic Well-formed formula
373	HR_Webinar_MITx_MicroMasters_SCM.pptx Add to Reading List Source URL: micromasters.mit.edu Language: English Education Open educational resources Harvard University Massachusetts Institute of Technology Online education Alternative education MITx MicroMasters Logistics
374	Formal Systems 2 P. H. Schmitt May 2016 Contents Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-02 15:36:42 Logic Mathematical logic Metaphysics Predicate logic Metalogic Propositional calculus Non-classical logic First-order logic Second-order logic Tautology Modal logic Well-formed formula
375	Question Asking as Program Generation Anselm Rothe1 1 Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2017-11-04 15:44:59 Linguistics Computational linguistics Cognitive science Human behavior Grammar Human communication Question Questionnaire construction Computability Natural language processing Machine learning Philosophy of artificial intelligence
376	CommunicationDisorders_BS.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:05:21
377	Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-11-17 20:46:33 Constraint programming Software engineering Computer programming Constraint satisfaction Local consistency Theoretical computer science Constraint Theory of constraints Schaefer's dichotomy theorem Constraint logic programming
378	Contingent Advantage? Sovereign Borrowing, Democratic Institutions, and Global Capital Cycles Cameron Ballard-Rosa† Layna Mosley‡ Add to Reading List Source URL: laynamosley.web.unc.edu Language: English - Date: 2018-06-07 09:06:00 Economy Finance Money Bond Government debt Financial market Credit rating agency Capital market Standard & Poor's Government bond Credit risk Emerging market debt
379	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-12-14 14:47:16 Computational complexity theory Theory of computation IP Proof of knowledge NP Zero-knowledge proof Certificate Theoretical computer science Applied mathematics

UPDATE