Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
55 open access dissertations and theses found for:
if(Satisfiability)  »   Refine Search
1.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
2.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
4.
Leveraging Arti cial Intelligence to Advance Problem-Solving with Quantum Annealers
by Ayanzadeh, Ramin, Ph.D.  University of Maryland, Baltimore County. 2020: 165 pages; 27960509.
5.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
6.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
7.
Resolution Machines
by Sagwal, Himanshu, M.S.  California State University, Long Beach. 2019: 53 pages; 13857510.
8.
Multiobjective Optimization and Language Equations
by Reitwießner, Christian, Ph.D.  Bayerische Julius-Maximilians-Universitaet Wuerzburg (Germany). 2012: 219 pages; 27766732.
9.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
10.
Version Control and Product Lines in Model-Driven Software Engineering
by Schwägerl, Felix, Dr.Nat.  Universitaet Bayreuth (Germany). 2018: 430 pages; 27600479.
11.
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.
12.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
13.
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.
14.
Zero and Low Energy Thresholds in Quantum Simulation
by Shi, Yun Xuan, M.S.  San Jose State University. 2019: 94 pages; 13884562.
15.
Tenability and Computability of Generalized Pólya Urns
by Konzem, Scott R., Ph.D.  The George Washington University. 2017: 103 pages; 10263413.
16.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
17.
Doxastic Attitudes for Reasoning over Multi-Agent Domains
by Wright, Benjamin, Ph.D.  New Mexico State University. 2018: 154 pages; 13420554.
18.
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.
19.
Advanced Schema Mappings: Priorities and Coverage
by Deng, Ning, Ph.D.  State University of New York at Buffalo. 2020: 168 pages; 27737150.
20.
Autonomous & Resilient Countermeasures for Emergent System Disruptions with Application to Air Traffic Management
by Marshall, Curtis J., Ph.D.  The George Washington University. 2020: 173 pages; 27664716.
21.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
22.
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.
23.
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.
24.
Learning to Manipulate Novel Objects for Assistive Robots
by Sung, Jaeyong, Ph.D.  Cornell University. 2017: 190 pages; 10258261.
25.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
26.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
27.
Automatic Program State Exploration Techniques for Security Analysis of Android Apps
by Johnson, Ryan, Ph.D.  George Mason University. 2019: 211 pages; 27667472.
28.
Modular and Safe Event-driven Programming
by Desai, Ankush Pankaj, Ph.D.  University of California, Berkeley. 2019: 206 pages; 27672106.
29.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
1 - 30 of 55 displayed.
  1    2   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest