368 search results - page 6 / 74 » Arithmetic as a Theory Modulo |
TYPES
2007
Springer
14 years 2 months ago
2007
Springer
CORR
2010
Springer
13 years 3 months ago
2010
Springer
LPAR
2005
Springer
14 years 2 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...
TACAS
2009
Springer
14 years 1 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
13 years 6 months 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...