Synthesis of domain specific CNF encoders for bit-vector solvers
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. === This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections. === Cataloged from student-s...
Main Author: | Inala, Jeevana Priya |
---|---|
Other Authors: | Armando Solar-Lezama. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/106008 |
Similar Items
-
A constraint solver for software engineering : finding models and cores of large relational specifications
by: Torlak, Emina, 1979-
Published: (2009) -
Reversible logic synthesis with minimal usage of ancilla bits
by: Xu, Siyao, M.Eng. Massachusetts Institute of Technology
Published: (2016) -
A 32 sub-band/transform coder incorporating vector quantizing for adaptive bit allocation
by: Heron, Courtney D
Published: (2005) -
PSolver : a distributed SAT solver framework
by: Kokotov, Daniel (Daniel L.), 1978-
Published: (2014) -
Finding bugs in software with a constraint solver
by: Vaziri-Farahani, Mandana
Published: (2006)