Sciweavers

2143 search results - page 15 / 429

» corr 2010

36

Voted

CORR
2010
Springer

38views Education» more CORR 2010»

Exponential Time Complexity of Weighted Counting of Independent Sets

14 years 11 months ago

Exponential Time Complexity of Weighted Counting of Independent Sets

Download research.enn-hoch.de

Christian Hoffmann

claim paper

Read More »

34

Voted

CORR
2010
Springer

55views Education» more CORR 2010»

Solution space heterogeneity of the random $K$-satisfiability problem: Theory and simulations

14 years 10 months ago

Solution space heterogeneity of the random $K$-satisfiability problem: Theory and simulations

Download iopscience.iop.org

Haijun Zhou

claim paper

Read More »

35

Voted

CORR
2010
Springer

35views Education» more CORR 2010»

The lattice of embedded subsets

14 years 10 months ago

The lattice of embedded subsets

Download ces.univ-paris1.fr

Michel Grabisch

claim paper

Read More »

45

Voted

CORR
2010
Springer

45views Education» more CORR 2010»

Untangling Typechecking of Intersections and Unions

14 years 10 months ago

Untangling Typechecking of Intersections and Unions

Download www.cs.cmu.edu

Joshua Dunfield

claim paper

Read More »

70

CORR
2010
Springer

99views Education» more CORR 2010»

Session Types = Intersection Types + Union Types

14 years 10 months ago

Session Types = Intersection Types + Union Types

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

« Prev « First page 15 / 429 Last » Next »