Sciweavers

2143 search results - page 15 / 429

» corr 2010

8

CORR
2010
Springer

38views Education» more CORR 2010»

Exponential Time Complexity of Weighted Counting of Independent Sets

13 years 8 months ago

Exponential Time Complexity of Weighted Counting of Independent Sets

Download research.enn-hoch.de

Christian Hoffmann

claim paper

Read More »

10

CORR
2010
Springer

55views Education» more CORR 2010»

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

13 years 8 months ago

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

Download iopscience.iop.org

Haijun Zhou

claim paper

Read More »

9

CORR
2010
Springer

35views Education» more CORR 2010»

The lattice of embedded subsets

13 years 8 months ago

The lattice of embedded subsets

Download ces.univ-paris1.fr

Michel Grabisch

claim paper

Read More »

10

CORR
2010
Springer

45views Education» more CORR 2010»

Untangling Typechecking of Intersections and Unions

13 years 7 months ago

Untangling Typechecking of Intersections and Unions

Download www.cs.cmu.edu

Joshua Dunfield

claim paper

Read More »

25

CORR
2010
Springer

99views Education» more CORR 2010»

Session Types = Intersection Types + Union Types

13 years 7 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 »