Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 494 for “"SAT"”.
-
Distributed SAT solving engine
The boolean satisfiability problem (SAT) is one of the typical NP-complete problems that have found considerable industrial applications in the past decades. Significant theoretical and practical efforts has been devoted to the research in this particular problem. Recently, with the major …
-
PSolver : a distributed SAT solver framework
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
-
Strategies for SAT-Based Formal Verification
… In this dissertation, we focus on Boolean Satisfiability (SAT) based formal verification, which has gained tremendous importance in the recent past. Importantly, SAT-based approaches often alleviate the memory explosion problem, which had been a bottleneck of the traditional symbolic …
-
Solving Hybrid Boolean SAT by Continuous Optimization
The Boolean SATisfiability problem (SAT) is of central importance in computer science. Despite the NP-completeness of SAT, progress on the engineering side—especially that of Conflict-Driven Clause Learning (CDCL) and Local Search SAT solvers—has been remarkable. Yet, while SAT solvers, aimed at …
-
A new approach to parallel SAT solvers
We present a novel approach to solving SAT problems in parallel by partitioning the entire set of problem clauses into smaller pieces that can be solved by individual threads. We examine the complications that arise with this partitioning, including the idea of global variables, broadcasting global …
-
Test Anxiety, Working Memory and Verbal SAT Performance
… between test anxiety, working memory, and verbal SAT performance. Test anxiety negatively affects performance because it decreases working memory space available for processing test information. However, the present study wanted to asses this theory with an experimental design to infer causation …
-
Enhancing SAT-based Formal Verification Methods using Global Learning
… we firstly propose a novel technique to improve SAT-based Combinational Equivalence Checking (CEC) and Bounded Model Checking (BMC). The idea is to perform a low-cost preprocessing that will statically induce global signal relationships into the original CNF formula of the circuit under …
-
Evaluation Of A Microwave Radiative Transfer Model For Calculating Sat
… compared to collocated measurements from the WindSat satellite. The objective of this thesis is to fine tune the RadTb model, using simultaneous environmental parameters and measured brightness temperature from the well-calibrated WindSat radiometer. The model will be evaluated at four microwave …
-
Registration, attendance, and reality: African-Americans engaged in SAT preparation
… their preparation for college admission exams (SAT, ACT). Registration, attendance, and the experienced reality of African American students who voluntarily enrolled in an SAT prep program as well as perceptions of African American instructors were the foci of this mixed methods action research. …
-
Score Improvement Comparison from PSAT to SAT Between two Schools
<p>The score a student earns on the PSAT is a predictor for what they earn on the SAT. Based on a student's PSAT score, we construct a Bayesian model to predict, with 95% certainty, what they will earn on their SAT. Furthermore, we explore differences in this prediction between two high schools in …
-
Gender differences in SAT scores : analysis by race and socioeconomic level
Gender differences on Scholastic Aptitude Test (SAT) scores were analyzed by racial and socioeconomic groupings. Differences in SAT-Math scores, in SAT-Verbal scores, and in the difference between SAT-Math and SAT-Verbal scores were studied using four racial groupings (African American, Asian …
-
SAT Solving Using XOR-OR-AND Normal Forms and Cryptographic Fault Attacks
The Boolean satisfiability problem (SAT) lies at the core of computational logic and has found many applications in verification, cryptography, and artificial intelligence. While conflict-driven SAT solvers (CDCL) excel on large industrial instances, they struggle with XOR-rich instances arising …
-
Simulations of error in quantum adiabatic computations of random 2-SAT instances
This thesis presents a series of simulations of quantum computations using the adiabatic algorithm. The goal is to explore the effect of error, using a perturbative approach that models 1-local errors to the Hamiltonian and estimates transition probabilities out of the ground state. The data show …
-
The effects of special preparation for the verbal section of the SAT
… verbal section of the Scholastic Aptitude Test (SAT). The coaching program was designed to familiarize the students with test-taking strategies and to enhance their sequential deduction and reasoning abilities through the use of classwork as well as homework. This special preparation course …
-
Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing
… optimization problem. Problems such as SAT and MaxSAT need to be encoded to make use of quantum annealers. Encoding SAT and MaxSAT problems while respecting the constraints and limitations of current hardware is a difficult task. This thesis presents an approach to encoding SAT and …
-
Automated Verification of Object Petri Nets based on Transformation, Unfoldings and SAT Solving
… actions in some environment in order to satisfy their design objectives. To<br/>this end, several agents communicate and interact in order to solve a complex problem. <br/><br/>With Object Petri nets it is possible to model the mobility and dynamic interactions among agents based on their …
-
Motivation and the SAT: what factors help determine college success past standardized testing
… relationship between high school GPA (HSGPA), SAT Scores, college GPA (CGPA), and motivation factors were examined. Motivation was measured on the Motivational Strategies for Learning Questionnaire (MSLQ) developed by Paul Pintrich and Elizabeth de Groot. Ninety-two participants responded to …
-
Looking to the future: an examination of the potential for SAT-optional admissions
The use of SAT scores in the college admissions process has been increasingly criticized in recent years for a variety of reasons. There are those who continue to support the use of the SAT in the college admissions process, those who oppose its use, and those who believe the best option is to make …
-
Inviting the Other: An ethnographically-informed social history of Sat Tal Christian Ashram
… Jones, along with two other individuals, founded Sat Tal Christian Ashram (STA) in the foothills of northern India. Using motifs of what was later to be termed ‘inculturation’, Jones envisioned STA as a place that was both “truly Christian and truly Indian” and actively sought to model and impart …
Page 1 of 25