368 search results - page 10 / 74 » Arithmetic as a Theory Modulo |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...