(PDF) SAT, SMT and Applications - Lecture Notes in Computer

SAT, SMT and Applications

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-642-04238-6_1

Full Text

Abstract

Available in full text

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2009

Authors

Publisher

Springer Berlin Heidelberg

Related search

Theory and Applications of Satisfiability Testing - SAT 2009

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

From Parallel SAT to Distributed SAT

English

Inspection Technology for SMT.

English

Integrating Multiple Forms of Multithreaded Execution on Multi-SMT Systems: A Study With Scientific Applications

English

Set-Based SAT-solving

Facta universitatis - series: Electronics and Energetics

English

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Symbolic Optimization With SMT Solvers

English

A SAT Approach to Branchwidth

English

RNN-based Derivation Structure Prediction for SMT

English