Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1279 open access dissertations and theses found for:
if(Boolean satisfiability)  »   Refine Search
1.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
3.
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.
4.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
5.
Multiobjective Optimization and Language Equations
by Reitwießner, Christian, Ph.D.  Bayerische Julius-Maximilians-Universitaet Wuerzburg (Germany). 2012: 219 pages; 27766732.
6.
Satisfiability checking for quality assurance in relational data processing
by Heller, Kelly K., M.S.  California State University, Long Beach. 2013: 234 pages; 1524200.
7.
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.
8.
Resolution Machines
by Sagwal, Himanshu, M.S.  California State University, Long Beach. 2019: 53 pages; 13857510.
9.
Tenability and Computability of Generalized Pólya Urns
by Konzem, Scott R., Ph.D.  The George Washington University. 2017: 103 pages; 10263413.
10.
Boolean Partition Algebras
by Van Name, Joseph, Ph.D.  University of South Florida. 2013: 128 pages; 3560193.
11.
Orthomorphisms of Boolean Groups
by Schimanski, Nichole Louise, Ph.D.  Portland State University. 2016: 99 pages; 10154830.
12.
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.
13.
Hard instances with hidden solutions
by Jia, Haixia, Ph.D.  The University of New Mexico. 2007: 73 pages; 3298151.
15.
ALGEBRAIC AND LOCALLY ALGEBRAIC FUNCTORS
by DUKARM, JAMES JOSEPH, Ph.D.  Simon Fraser University (Canada). 1980: 1 pages; NK44892.
16.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
17.
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.
18.
Version Control and Product Lines in Model-Driven Software Engineering
by Schwägerl, Felix, Dr.Nat.  Universitaet Bayreuth (Germany). 2018: 430 pages; 27600479.
19.
Feature Extraction from Network Data
by Oles, Vladyslav, Ph.D.  Washington State University. 2019: 92 pages; 27547130.
20.
Lower Bound Resource Requirements for Machine Intelligence
by Gilmanov, Timur, Ph.D.  Indiana University. 2018: 149 pages; 10980279.
21.
Relation algebras
by Mirin, Alison C., M.A.  Mills College. 2013: 147 pages; 1537718.
22.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
23.
Machine Learning and Network-Based Systems Toxicology Modeling of Chemotherapy-Induced Peripheral Neuropathy
by Bloomingdale, Peter, Ph.D.  State University of New York at Buffalo. 2018: 353 pages; 13427432.
24.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
25.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
26.
Structural induction: Towards automatic ontology elicitation
by Silvescu, Adrian, Ph.D.  Iowa State University. 2008: 187 pages; 3307040.
27.
Development of PHP to UMPL transformer
by Hu, Zili, Ed.D.  Ball State University. 2013: 245 pages; 3590414.
28.
Zero and Low Energy Thresholds in Quantum Simulation
by Shi, Yun Xuan, M.S.  San Jose State University. 2019: 94 pages; 13884562.
30.
Robust hough transform for noisy and cluttered images
by Slininger, Timothy, M.S.  Southern Connecticut State University. 2014: 197 pages; 1525183.
1 - 30 of 1279 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest