368 search results - page 6 / 74 » Arithmetic as a Theory Modulo |
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
93
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
116
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
141
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
FFA
2010
15 years 21 days ago
2010
Let p be prime and Zpn a degree n unramified extension of the ring of p-adic integers Zp. In this paper we give an overview of some very fast deterministic algorithms for common o...