A new approach to parallel SAT solvers

A new approach to parallel SAT solvers

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.

Bibliographic Details
Main Author:	Nelson, Max (Max M.)
Other Authors:	Armando Solar-Lezama.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/85456

Similar Items

PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014)

Building a puzzle games solver using SAT solver
by: Nguyen Hung, Thai
Published: (2017)

Logic for fun : solving puzzles with SAT solvers
by: Foo, Zhong Xian
Published: (2016)

AvatarSAT: An Auto-tuning Boolean SAT Solver
by: Ganesh, Vijay, et al.
Published: (2009)

Efficiency analysis of SAT solvers in logic locking applications
by: Liu, Zhiyuan
Published: (2024)

Lynx: A Programmatic SAT Solver for the RNA-folding Problem
by: Ganesh, Vijay, et al.
Published: (2012)

A comparison of parallel Gaussian elimination solvers for the computation of electrochemical battery models on the cell processor
by: Geraci, James Russell, 1974-
Published: (2009)

Finding bugs in software with a constraint solver
by: Vaziri-Farahani, Mandana
Published: (2006)

Massively parallel solver for the high-order Galerkin Least-Squares method
by: Yano, Masayuki, Ph. D. Massachusetts Institute of Technology
Published: (2010)

A user-friendly interface for a poisson-solver
by: Johnson, Ted C. (Ted Christian)
Published: (2024)

Effective software testing with a string-constraint solver
by: Kieżun, Adam
Published: (2010)

A Tsume-Go life & death problem solver
by: Danieli, Adrian B. (Adrian Brian), 1975-
Published: (2010)

A dynamic PDE solver for breasts cancerous cell visualization on distributed parallel computing systems
by: Alias, Norma, et al.
Published: (2009)

Revamping the current SCE-FYP allocation system using Pseudo-Boolean SAT solver and hungarian algorithm
by: Chia, Yong Sheng.
Published: (2013)

A versatile parallel block-tridiagonal solver for spectral codes
by: Lee, Jungpyo, et al.
Published: (2015)

Field solver technologies for variation-aware interconnect parasitic extraction
by: El-Moselhy, Tarek Ali
Published: (2010)

Synthesis of domain specific CNF encoders for bit-vector solvers
by: Inala, Jeevana Priya
Published: (2016)

Parallel Solvers Using PETSc For Nonlinear Conduction Problems In Higher Dimensions
by: Rosli, Muhammad Hisyamuddin
Published: (2018)

A quadtree approach to parallel image processing
by: Saleeb, Hany S. (Hany Safeek)
Published: (2007)

A Numerical Study of the Effects of Wave-Induced Fluid Flow in Porous Media: Linear Solver
by: Zhang, Yang, et al.
Published: (2012)

Predicting hyperlactatemia in the ICU
by: Dunitz, Max (Max H.)
Published: (2016)

The data science machine : emulating human intelligence in data science endeavors
by: Kanter, Max (James Max)
Published: (2017)

A constraint solver for software engineering : finding models and cores of large relational specifications
by: Torlak, Emina, 1979-
Published: (2009)

A hierarchical Markov chain based solver for very-large-scale capacitance extraction
by: Zhao, Yan, Ph. D. Massachusetts Institute of Technology
Published: (2012)

Massively Parallel Solver for the High-Order Galerkin Least-Squares Method
by: Yano, Masayuki
Published: (2010)

Integrating a Bayesian net solver with the KBCW Comlink System and a network intrusion diagnosis system
by: Tam, Erwin, 1976-
Published: (2013)

Development of a CanSat
by: Zhang, Yunjie.
Published: (2013)

Design & development of CanSat with capability of inter-CanSat communication
by: Teng, Yu Hui.
Published: (2013)

A block-tridiagonal solver with two-level parallelization for finite element-spectral codes
by: Lee, Jungpyo, et al.
Published: (2018)

Design and development of a high-performance, low-cost robotics platform for research and education
by: Bajracharya, Max, 1979-
Published: (2014)

Optimal ocean acoustic tomography and navigation with moving sources
by: Deffenbaugh, Max
Published: (2007)

Application composition and communication optimization in iterative solvers using FPGAs
by: Rafique, Abid, et al.
Published: (2013)

A Comparison of Parallel Gaussian Elimination Solvers for the Computation of Electrochemical Battery Models on the Cell Processor
by: Geraci, James R.
Published: (2008)

Flight software development of SCOOBI CubeSat
by: Yeo, Marcus Rui Han
Published: (2019)

FastCaplet : an efficient 3D capacitance extraction solver using instantiable basis functions for VLSI interconnects
by: Hsiao, Yu-Chung, Ph. D. Massachusetts Institute of Technology
Published: (2011)

X-Sat bus development
by: Arichandran, K.
Published: (2008)

Design and development of a comeback CanSat
by: Sunil, Navnita
Published: (2017)

An excel-based Sudoku puzzle generator and solver
by: Muhamad Norfaizal Mohamed Paudi
Published: (2019)

Intelligent environments for informal public spaces : the Ki/o Kiosk platform
by: Van Kleek, Max, 1980-
Published: (2014)

Effort, memory, attention and time : paths to more effective personal information management
by: Van Kleek, Max, 1980-
Published: (2011)