Sciweavers

2143 search results - page 15 / 429

» corr 2010

62

CORR
2010
Springer

38views Education» more CORR 2010»

Exponential Time Complexity of Weighted Counting of Independent Sets

15 years 4 months ago

Exponential Time Complexity of Weighted Counting of Independent Sets

Download research.enn-hoch.de

Christian Hoffmann

claim paper

Read More »

62

Voted

CORR
2010
Springer

55views Education» more CORR 2010»

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

15 years 3 months ago

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

Download iopscience.iop.org

Haijun Zhou

claim paper

Read More »

73

CORR
2010
Springer

35views Education» more CORR 2010»

The lattice of embedded subsets

15 years 3 months ago

The lattice of embedded subsets

Download ces.univ-paris1.fr

Michel Grabisch

claim paper

Read More »

66

Voted

CORR
2010
Springer

45views Education» more CORR 2010»

Untangling Typechecking of Intersections and Unions

15 years 3 months ago

Untangling Typechecking of Intersections and Unions

Download www.cs.cmu.edu

Joshua Dunfield

claim paper

Read More »

115

Voted

CORR
2010
Springer

99views Education» more CORR 2010»

Session Types = Intersection Types + Union Types

15 years 3 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 »