Satisfiability Advancements Enabled by State Machines

Satisfiability Advancements Enabled by State Machines

Bibliographic Details
Main Author: Weaver, Sean A.
Language:English
Published: University of Cincinnati / OhioLINK 2012
Subjects:
Computer Science
Satisfiability
BDD
SBSAT
nonclausal
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116
id ndltd-OhioLink-oai-etd.ohiolink.edu-ucin1353343116
record_format oai_dc
spelling ndltd-OhioLink-oai-etd.ohiolink.edu-ucin13533431162021-08-03T05:20:30Z Satisfiability Advancements Enabled by State Machines Weaver, Sean A. Computer Science Satisfiability BDD SBSAT nonclausal 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. 2012 English text University of Cincinnati / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116 http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection NDLTD
language English
sources NDLTD
topic Computer Science
Satisfiability
BDD
SBSAT
nonclausal
spellingShingle Computer Science
Satisfiability
BDD
SBSAT
nonclausal
Weaver, Sean A.
Satisfiability Advancements Enabled by State Machines
author Weaver, Sean A.
author_facet Weaver, Sean A.
author_sort Weaver, Sean A.
title Satisfiability Advancements Enabled by State Machines
title_short Satisfiability Advancements Enabled by State Machines
title_full Satisfiability Advancements Enabled by State Machines
title_fullStr Satisfiability Advancements Enabled by State Machines
title_full_unstemmed Satisfiability Advancements Enabled by State Machines
title_sort satisfiability advancements enabled by state machines
publisher University of Cincinnati / OhioLINK
publishDate 2012
url http://rave.ohiolink.edu/etdc/view?acc_num=ucin1353343116
work_keys_str_mv AT weaverseana satisfiabilityadvancementsenabledbystatemachines
_version_ 1719418921383100416

Similar Items