Treffer 1 - 20 von 51 für Suche 'Krstic, Sava', Suchdauer: 0,93s Treffer weiter einschränken
  1. 1
    Ground Interpolation for Combined Theories

    Ground Interpolation for Combined Theories von Goel, Amit, Krstić, Sava, Tinelli, Cesare


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Strategies for combining decision procedures

    Strategies for combining decision procedures von Conchon, Sylvain, Krstić, Sava

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Canonization for Disjoint Unions of Theories

    Canonization for Disjoint Unions of Theories von Krstić, Sava, Conchon, Sylvain


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Canonization for disjoint unions of theories

    Canonization for disjoint unions of theories von Krstić, Sava, Conchon, Sylvain

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Inductive Invariants for Nested Recursion

    Inductive Invariants for Nested Recursion von Krstić, Sava, Matthews, John


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Ground interpolation for the theory of equality

    Ground interpolation for the theory of equality von Fuchs, Alexander, Goel, Amit, Grundy, Jim, Krstić, Sava, Tinelli, Cesare


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL

    Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL von Krstić, Sava, Goel, Amit


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The non-finite presentability of IA(F3) and GL2(Z[t, t-1])

    The non-finite presentability of IA(F3) and GL2(Z[t, t-1]) von Krstic, Sava, Mccool, James

    Veröffentlicht in Inventiones mathematicae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Ground Interpolation for the Theory of Equality

    Ground Interpolation for the Theory of Equality von Fuchs, Alexander, Goel, Amit, Grundy, Jim, Krstić, Sava, Tinelli, Cesare


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Combined Satisfiability Modulo Parametric Theories

    Combined Satisfiability Modulo Parametric Theories von Krstić, Sava, Goel, Amit, Grundy, Jim, Tinelli, Cesare


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    FAR-Cubicle - A new reachability algorithm for Cubicle

    FAR-Cubicle - A new reachability algorithm for Cubicle von Conchon, Sylvain, Goel, Amit, Krstic, Sava, Majumdar, Rupak, Roux, Mattias

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems: Tool Paper

    Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems: Tool Paper von Conchon, Sylvain, Goel, Amit, Krstić, Sava, Mebsout, Alain, Zaïdi, Fatiha


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    AN EQUIVARIANT WHITEHEAD ALGORITHM AND CONJUGACY FOR ROOTS OF DEHN TWIST AUTOMORPHISMS

    AN EQUIVARIANT WHITEHEAD ALGORITHM AND CONJUGACY FOR ROOTS OF DEHN TWIST AUTOMORPHISMS von Krstić, Sava, Lustig, Martin, Vogtmann, Karen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    THE NON-FINITE PRESENTABILITY OF THE AUTOMORPHISM GROUP OF THE FREE Z-GROUP OF RANK TWO

    THE NON-FINITE PRESENTABILITY OF THE AUTOMORPHISM GROUP OF THE FREE Z-GROUP OF RANK TWO von KRSTIC, SAVA, McCOOL, JAMES


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Free quotients of ₂( [ ])

    Free quotients of ₂( [ ]) von Krstic, Sava, McCool, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Finite Model Finding in SMT

    Finite Model Finding in SMT von Reynolds, Andrew, Tinelli, Cesare, Goel, Amit, Krstić, Sava


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The non-finite presentability of IA ( F 3 ) and GL 2 (Z[ t, t −1 ])

    The non-finite presentability of IA ( F 3 ) and GL 2 (Z[ t, t −1 ]) von Krstić, Sava, McCool, James

    Veröffentlicht in Inventiones mathematicae

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Mothers of Pipelines

    Mothers of Pipelines von Krstić, Sava, Jones, Robert B., O'Leary, John


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Quantifier Instantiation Techniques for Finite Model Finding in SMT

    Quantifier Instantiation Techniques for Finite Model Finding in SMT von Reynolds, Andrew, Tinelli, Cesare, Goel, Amit, Krstić, Sava, Deters, Morgan, Barrett, Clark


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Tool Building Requirements for an API to First-Order Solvers

    Tool Building Requirements for an API to First-Order Solvers von Grundy, Jim, Melham, Tom, Krstić, Sava, McLaughlin, Sean


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: