368 search results - page 6 / 74 » Arithmetic as a Theory Modulo |
66
Voted
TYPES
2007
Springer
15 years 5 months ago
2007
Springer
CORR
2010
Springer
14 years 6 months ago
2010
Springer
80
Voted
LPAR
2005
Springer
15 years 5 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...
102
click to vote
TACAS
2009
Springer
15 years 4 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 ...
62
Voted
FFA
2010
14 years 9 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...