Sciweavers

9176 search results - page 40 / 1836

» algorithms 2010

19

STOC
2010
ACM

159views Algorithms» more STOC 2010»

On the Complexity of Circuit Satisfiability

14 years 2 months ago

On the Complexity of Circuit Satisfiability

Download www.math.cas.cz

Ramamohan Paturi and Pavel Pudl\ak

claim paper

Read More »

41

ANTS
2010
Springer

246views Algorithms» more ANTS 2010»

Class Invariants by the CRT Method

14 years 1 months ago

Class Invariants by the CRT Method

Download ants9.org

Andreas Enge, Andrew V. Sutherland

claim paper

Read More »

27

ANTS
2010
Springer

246views Algorithms» more ANTS 2010»

Improved Primality Proving with Eisenstein Pseudocubes

14 years 1 months ago

Improved Primality Proving with Eisenstein Pseudocubes

Download www.ants9.org

Kjell Wooding, Hugh C. Williams

claim paper

Read More »

24

SODA
2010
ACM

106views Algorithms» more SODA 2010»

Genus and the Geometry of the Cut Graph

13 years 8 months ago

Genus and the Geometry of the Cut Graph

Download ttic.uchicago.edu

James R. Lee, Anastasios Sidiropoulos

claim paper

Read More »

32

SODA
2010
ACM

178views Algorithms» more SODA 2010»

1-Pass Relative-Error Lp-Sampling with Applications

13 years 8 months ago

1-Pass Relative-Error Lp-Sampling with Applications

Download www.almaden.ibm.com

Morteza Monemizadeh, David P. Woodruff

claim paper

Read More »

« Prev « First page 40 / 1836 Last » Next »