Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
45 open access dissertations and theses found for:
if(Satisfiability)  »   Refine Search
1.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
3.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
4.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
5.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
6.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
7.
Version Control and Product Lines in Model-Driven Software Engineering
by Schwägerl, Felix, Dr.Nat.  Universitaet Bayreuth (Germany). 2018: 430 pages; 27600479.
8.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
9.
Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers
by Nain, Prerna, M.S.  California State University, Long Beach. 2018: 54 pages; 10752239.
10.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
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.
Resolution Machines
by Sagwal, Himanshu, M.S.  California State University, Long Beach. 2019: 53 pages; 13857510.
13.
Automated Black Box Generation of Structured Inputs for Use in Software Testing
by Dewey, Kyle Thomas, Ph.D.  University of California, Santa Barbara. 2017: 318 pages; 10605739.
14.
Tenability and Computability of Generalized Pólya Urns
by Konzem, Scott R., Ph.D.  The George Washington University. 2017: 103 pages; 10263413.
15.
Zero and Low Energy Thresholds in Quantum Simulation
by Shi, Yun Xuan, M.S.  San Jose State University. 2019: 94 pages; 13884562.
16.
Yield, Cost, Reliability, and Availability of Multi-Core System-on-Chips
by Shamshiri, Saeed, Ph.D.  University of California, Santa Barbara. 2011: 178 pages; 3473795.
17.
A Study of the Performance of D-Wave Quantum Computers Using Spanning Trees
by Hall, John Spencer, M.S.  Mississippi State University. 2018: 88 pages; 10792350.
18.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
19.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
20.
Learning to Manipulate Novel Objects for Assistive Robots
by Sung, Jaeyong, Ph.D.  Cornell University. 2017: 190 pages; 10258261.
21.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
22.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
24.
What Can You Say? Measuring the Expressive Power of Languages
by Kocurek, Alexander William, Ph.D.  University of California, Berkeley. 2018: 231 pages; 10830321.
25.
The geometry of evolutionary constraints on dynamic structure-function relationships
by Smith, Cameron Ray, Ph.D.  Yeshiva University. 2015: 176 pages; 3664551.
26.
Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S.  University of Louisiana at Lafayette. 2018: 98 pages; 13420593.
27.
Large margin transformation learning
by Howard, Andrew G., Ph.D.  Columbia University. 2009: 90 pages; 3388470.
28.
29.
Controlling and evaluating inpainting with attentional models
by Ardis, Paul A., Ph.D.  University of Rochester. 2009: 136 pages; 3395371.
30.
Gunrock: A Programming Model and Implementation for Graph Analytics on Graphics Processing Units
by Wang, Yangzihao, Ph.D.  University of California, Davis. 2017: 134 pages; 10251096.
1 - 30 of 45 displayed.
  1    2   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest