Search Constraints

Start Over
Filtering by: Creator Kranz, Sven A. Remove constraint Creator: Kranz, Sven A. Contributor sim Walkingshaw, Eric Remove constraint Contributor sim: Walkingshaw, Eric

Search Results

  • Variational Satisfiability Solving

    Creator:
    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
    Full Text:
    use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of

  • Principles of Variational Databases

    Creator:
    Ataei, Parisa S.
    Abstract:
    Data variations are prevalent in real-world applications. For example, software vendors have to handle numerous variations in the business requirements, conventions, and environmental settings of a software product. In database-backed software, the database of each version may have a different schema and content. As another example, data scientists often need...
    Resource Type:
    Masters Thesis
    Full Text:
    , conventions, and en- vironmental settings of a software product. In database-backed software, the database of