Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
39534 open access dissertations and theses found for:
if(Boolean Satisfiability Problem)  »   Refine Search
1.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
2.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
3.
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.
5.
Tenability and Computability of Generalized Pólya Urns
by Konzem, Scott R., Ph.D.  The George Washington University. 2017: 103 pages; 10263413.
6.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
7.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
8.
Version Control and Product Lines in Model-Driven Software Engineering
by Schwägerl, Felix, Dr.Nat.  Universitaet Bayreuth (Germany). 2018: 430 pages; 27600479.
9.
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.
11.
Resolution Machines
by Sagwal, Himanshu, M.S.  California State University, Long Beach. 2019: 53 pages; 13857510.
12.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
13.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
14.
Structural induction: Towards automatic ontology elicitation
by Silvescu, Adrian, Ph.D.  Iowa State University. 2008: 187 pages; 3307040.
15.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
16.
Pebble Games and Complexity
by Chan, Siu Man, Ph.D.  University of California, Berkeley. 2013: 74 pages; 3593787.
17.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
18.
The Role of Canalization in the Spreading of Perturbations in Boolean Networks
by Manicka, Santosh Venkatiah Sudharshan, Ph.D.  Indiana University. 2017: 225 pages; 10277023.
19.
Moving Objects Management for Location-Based Services
by Long, Guo, Ph.D.  National University of Singapore (Singapore). 2015: 161 pages; 10006006.
20.
ALGEBRAIC AND LOCALLY ALGEBRAIC FUNCTORS
by DUKARM, JAMES JOSEPH, Ph.D.  Simon Fraser University (Canada). 1980: 1 pages; NK44892.
21.
Zero and Low Energy Thresholds in Quantum Simulation
by Shi, Yun Xuan, M.S.  San Jose State University. 2019: 94 pages; 13884562.
23.
AIMOS: Automated Inferential Multi-Objective Optimization System
by Praharaj, Blake, M.S.  Southern Connecticut State University. 2017: 83 pages; 10249184.
24.
Boolean Partition Algebras
by Van Name, Joseph, Ph.D.  University of South Florida. 2013: 128 pages; 3560193.
25.
Accurate Localization Given Uncertain Sensors
by Kramer, Jeffrey A., M.S.  University of South Florida. 2010: 285 pages; 1492929.
26.
Social network analysis: Determining betweenness centrality of a network using Ant Colony Optimization
by Rubano, Vincent, M.S.  Southern Connecticut State University. 2016: 117 pages; 10108549.
27.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
28.
Relation algebras
by Mirin, Alison C., M.A.  Mills College. 2013: 147 pages; 1537718.
29.
Robust hough transform for noisy and cluttered images
by Slininger, Timothy, M.S.  Southern Connecticut State University. 2014: 197 pages; 1525183.
30.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
1 - 30 of 39534 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