Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
23513 open access dissertations and theses found for:
if(Satisfiability modulo theories)  »   Refine Search
2.
On LM-Systems and Forward Closed String Rewriting Systems
by Hono, Daniel S., II, Ph.D.  State University of New York at Albany. 2018: 74 pages; 10810387.
4.
Modulo Multipliers with Adaptive Delay for a High Dynamic Range Residue Number System Using Booth Encoding
by Reddy, Ginni Sumanth, M.S.  California State University, Long Beach. 2017: 47 pages; 10263534.
5.
Some applications of the theory of formal groups to algebraic topology
by Noel, Justin, Ph.D.  The University of Chicago. 2009: 91 pages; 3369459.
6.
Waterbird and raptor communities in the Modulos de Apure region of the Venezuelan Llanos: An emphasis on temporal and multiscale waterbird-habitat relationships
by Baltzersen, Wendy J., Ph.D.  State University of New York College of Environmental Science and Forestry. 2011: 276 pages; 3494495.
7.
Toward a software pipelining framework for many-core chips
by Ributzka, Juergen, M.S.  University of Delaware. 2009: 97 pages; 1469538.
8.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
9.
Reverse converter design based on the New Chinese Remainder Theorem II using parallel prefix adders
by Sidda, Aditya, M.S.  California State University, Long Beach. 2016: 76 pages; 10182140.
10.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
11.
Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
by Barjasteh, Sina, M.S.  California State University, Long Beach. 2018: 35 pages; 10978741.
12.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
13.
Wilson loops in supersymmetric gauge theories
by Pestun, Vasily, Ph.D.  Princeton University. 2008: 162 pages; 3324315.
14.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
15.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
16.
On Skein Modules and Homology Theories Related to Knot Theory
by Mukherjee, Sujoy, Ph.D.  The George Washington University. 2019: 124 pages; 13810465.
17.
Pseudomodular Fricke groups
by Fithian, David, Ph.D.  University of Pennsylvania. 2008: 102 pages; 3309567.
18.
On the torsion structure of elliptic curves over cubic number fields
by Wang, Jian, Ph.D.  University of Southern California. 2015: 63 pages; 3722897.
19.
Loops and finite affine planes
by Rojas, Ricardo, Ph.D.  University of Illinois at Urbana-Champaign. 2008: 44 pages; 3337927.
21.
Fast modular exponentiation using residue domain representation: A hardware implementation and analysis
by Nguyen, Christopher Dinh, M.S.  University of Maryland, Baltimore County. 2013: 129 pages; 1551346.
22.
Discrete dynamics over finite fields
by Park, Jang-Woo, Ph.D.  Clemson University. 2009: 94 pages; 3369446.
23.
Mind as Theory Engine: Causation, Explanation and Time
by Pacer, Michael D., Ph.D.  University of California, Berkeley. 2016: 380 pages; 10194103.
24.
Aspects of Supersymmetric Conformal Field Theories in Various Dimensions
by Nardoni, Emily M., Ph.D.  University of California, San Diego. 2018: 221 pages; 10932229.
25.
Worldsheet aspects of heterotic string compactifications
by McOrist, Jock, Ph.D.  The University of Chicago. 2009: 160 pages; 3369454.
26.
Factorization via the Chinese Remainder Theorem: Computational methods to enhance rapid key processing and decryption
by Hines, Steven T., M.S.C.S.  California State University, Long Beach. 2012: 82 pages; 1522231.
27.
Nonstandard models of the weak second order theory of one successor
by Kern, Thomas Robert, Ph.D.  Cornell University. 2016: 149 pages; 10183827.
28.
Value sets of polynomials modulo a prime
by Eldanaf, Diaa S., M.S.  California State University, Long Beach. 2011: 56 pages; 1499153.
29.
Factorization of polynomials modulo a prime
by Pham, Autumn Thu, M.S.  California State University, Long Beach. 2012: 59 pages; 1517761.
30.
Folk Taxonomy in Anishinaabemowin: A Linguistic Approach
by Morse, Stephanie Joy Gamble, M.A.  University of California, Santa Barbara. 2015: 53 pages; 1600219.
1 - 30 of 23513 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest