Commit 7cca2cd3 authored by Martin Jonas's avatar Martin Jonas
Browse files

Add bibliography to the Delayed Theory Combination

parent ef289286

teze.org

+4 −0
Original line number Original line Diff line number Diff line
@@ -50,6 +50,10 @@ 
    - Nelson-Oppen

    - Nelson-Oppen

    - Being careful about theory combination (Jovanovic)

    - Being careful about theory combination (Jovanovic)

    - Sharing is Caring: Combination of Theories (Jovanovic)

    - Sharing is Caring: Combination of Theories (Jovanovic)

    - [[http://link.springer.com/chapter/10.1007%252F11513988_34#page-1][Efficient Satisfiability Modulo Theories via Delayed Theory Combination]]

    - [[https://es-static.fbk.eu/people/griggio/papers/AMAI09_dtc.pdf][Delayed theory combination vs. Nelson-Oppen for satisfiability

      modulo theories: a comparative analysis]]

    - [[http://research.microsoft.com/en-us/um/redmond/projects/z3/smt07.pdf][Model-based Theory Combination]]





* Satisfiability of quantifier-free bit-vector formulas (4 strany)

* Satisfiability of quantifier-free bit-vector formulas (4 strany)

*** Definition of bit-vector theory

*** Definition of bit-vector theory