Sciweavers

16 search results - page 1 / 4
» ita 2007
Sort
View
86
Voted
ITA
2007
15 years 2 months ago
Fast and correctly rounded logarithms in double-precision
Florent de Dinechin, Christoph Quirin Lauter, Jean...
86
Voted
ENGL
2007
56views more  ENGL 2007»
15 years 2 months ago
Model Counting for 2SAT Based on Graphs by Matrix Operators
C. Guillen, A. Lopez, G. De Ita