Smten and the art of satisfiability-based search

Smten and the art of satisfiability-based search

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.

Bibliographic Details
Main Author:	Uhler, Richard Stephen
Other Authors:	Jack B. Dennis.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2015
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/92967

Similar Items

Characterizing Boolean satisfiability variants
by: Ferreira Antunes Filho, Ivan Tadeu.
Published: (2020)

Solving optimal satisfiability problems through clause-directed A*
by: Ragno, Robert J. (Robert John), 1977-
Published: (2005)

Performance and energy efficiency in simple simultaneous multithreading processor cores
by: Uhler, Richard Stephen
Published: (2010)

On Test Case Generation Satisfying the MC/DC Criterion
by: Kamal Z., Zamli, et al.
Published: (2013)

Satisfy your craving for knowledge
by: New Straits Times,
Published: (2014)

Logic locking satisfiability evaluation based on machine learning techniques
by: Han, Yifei
Published: (2024)

Design and implementation of formal verification methodology using Boolean satisfiability
by: Phone, Thet Khaing.
Published: (2011)

On approximability of satisfiable k -CSPs: I
by: Bhangale, Amey, et al.
Published: (2022)

Folded Structures Satisfying Multiple Conditions
by: Demaine, Erik D, et al.
Published: (2021)

Proof of the satisfiability conjecture for large k
by: Ding, Jian, et al.
Published: (2022)

On Approximability of Satisfiable k-CSPs: II
by: Bhangale, Amey, et al.
Published: (2023)

On Approximability of Satisfiable k-CSPs: III
by: Bhangale, Amey, et al.
Published: (2023)

On prefix codes satisfying RLL-constraint for Zipf distribution
by: Ho, Shaun
Published: (2020)

Worldly possessions do not satisfy internal needs
by: Tee, Keng Kok
Published: (2014)

Satisfiability Threshold for Random Regular nae-sat
by: Ding, Jian, et al.
Published: (2017)

How to be Satisfied with Less-Than-Perfect Finish
by: Park, Hyun Woo
Published: (2023)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
by: Vasile, Cristian-Ioan, et al.
Published: (2018)

Natural language search of structured documents
by: Oney, Stephen W
Published: (2009)

Implementation of C++ iterators for the Boltzmann scattering integral satisfying physical conservation laws
by: He, Mingxuan
Published: (2024)

Eliciting user satisfying requirements for an e-health awareness system using Kano Model
by: Hussain, Azham, et al.
Published: (2015)

An application of Kano method in the elicitation of stakeholder satisfying requirements for an e-Ebola awareness system
by: Hussain, Azham, et al.
Published: (2016)

Multi-objective scientific workflow scheduling algorithm in multi-cloud environment for satisfying QoS requirements
by: Ramadhan, Mazen Farid Ebrahim
Published: (2022)

PAC satisfied with covid-19 vaccine procurement process
by: Borneo Post Sabah
Published: (2021)

Divisible quantum dynamics satisfies temporal Tsirelson’s bound
by: Le, Thao, et al.
Published: (2017)

New Examples Satisfying Ma–Trudinger–Wang Conditions
by: Lee, Paul W. Y., et al.
Published: (2012)

An experimental study of neighbourhood based metaheuristic algorithms for test case generation satisfying the modified condition / decision coverage criterion
by: Haque, Ariful
Published: (2018)

Is the European Court of Human Rights satisfied with the Russian criminal justice system?
by: Voskobitova, Maria R.
Published: (2007)

Satisfying wanderlust : a study on how leisure travel influences social status
by: Yeo, Genevieve Shuen Siew
Published: (2014)

On A Subclass Of Analytic Functions Satisfying A Differential Inequality
by: Chung, Yao Liang
Published: (2022)

Propositional satisfiability method in rough classification modeling for data mining
by: Abu Bakar, Azuraliza
Published: (2002)

Investigating Food Quality at UUM’s Lake Restaurant: Are Customers Satisfied?
by: Ideris, Muhamad Shah Kamal, et al.
Published: (2021)

The Satisfiability Threshold of Random 3-SAT Is at Least 3.52
by: Hajiaghayi, MohammadTaghi, et al.
Published: (2005)

Satisfiability Algorithms and Connections between Algorithms and Circuit Lower Bounds
by: Vyas, Nikhil
Published: (2023)

Slow Food in a Fat Society: Satisfying Ethical Appetites
by: Paxson, Heather Anne
Published: (2011)

Improving search quality of the Google search appliance
by: Nguyen, Huy, M. Eng (Huy Le). Massachusetts Institute of Technology
Published: (2010)

Autonomous cooperation of heterogeneous platforms for sea-based search tasks
by: Shafer, Andrew J., M. Eng. Massachusetts Institute of Technology
Published: (2009)

Monolithic electronic-photonic integration in state-of-the-art CMOS processes
by: Orcutt, Jason S. (Jason Scott)
Published: (2012)

Combining fast search and learning for scalable similarity search
by: Vassef, Hooman
Published: (2014)

Mood of the Planet: challenging visions of big data in the arts
by: Sorensen, Vibeke, et al.
Published: (2022)

Reconfiguration of Satisfying Assignments and Subset Sums: Easy to Find, Hard to Connect
by: Cardinal, Jean, et al.
Published: (2021)