Suchen

Filter löschen
Filtern nach: Committee Member Tadepalli, Prasad Filter Committee Member: Tadepalli, Prasad entfernen Contributor Erwig, Martin Filter Contributor: Erwig, Martin entfernen Degree Name Doctor of Philosophy (Ph.D.) Filter Degree Name: Doctor of Philosophy (Ph.D.) entfernen

Suchergebnisse

  • Variational Satisfiability Solving

    Schöpfer:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation