Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


ucin1353343116.pdf (1.66 MB)

ETD Abstract Container

Abstract Header

Satisfiability Advancements Enabled by State Machines

Weaver, Sean A.
http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116

Abstract Details

2012, PhD, University of Cincinnati, Engineering and Applied Science: Computer Science and Engineering.
This dissertation focuses on research for state-based Satisfiability (SAT), a variant of SAT that uses state machines (Smurfs) to represent constraints. Using this constraint representation allows for compact representations of SAT problem instances that retain more ungarbled user- domain information than other more common representations such as Conjunctive Normal Form (CNF). State-base SAT also supports earlier inference deduction during search, the use of powerful search heuristics, and the integration of special purpose constraints and solvers. SBSAT, a state-based SAT research platform, was used and enhanced for both researching the new techniques presented here and gathering experimental data. Since the power of state-based SAT is diminished on problems naturally represented in CNF, the benchmarks used to collect results focus on domains with rich constraints such as verification and model checking.
John Franco, Ph.D. (Committee Chair)
Michal Kouril, Ph.D. (Committee Member)
Victor Marek, Ph.D. (Committee Member)
Raj Bhatnagar, Ph.D. (Committee Member)
John Schlipf, Ph.D. (Committee Member)
115 p.
Computer Science
Satisfiability; BDD; SBSAT; nonclausal;

Recommended Citations

Citations

  • Weaver, S. A. (2012). Satisfiability Advancements Enabled by State Machines [Doctoral dissertation, University of Cincinnati]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116

    APA Style (7th edition)

  • Weaver, Sean. Satisfiability Advancements Enabled by State Machines. 2012. University of Cincinnati, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116.

    MLA Style (8th edition)

  • Weaver, Sean. "Satisfiability Advancements Enabled by State Machines." Doctoral dissertation, University of Cincinnati, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116

    Chicago Manual of Style (17th edition)

ucin1353343116
590
© 2012, all rights reserved.
This open access ETD is published by University of Cincinnati and OhioLINK.