921 search results - page 15 / 185 » Abstract Matrix Arithmetic |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
CCA
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the di�...
DCC
1991
IEEE
13 years 11 months ago
1991
IEEE
d abstract) Paul G. Howard' and Jeffrey Scott Vitter2 Department of Computer Science Brown University Providence, R. I. 02912-1910
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
Kabanets and Impagliazzo [KI04] show how to decide the circuit polynomial identity testing problem (CPIT) in deterministic subexponential time, assuming hardness of some explicit ...