A note on propositional proof complexity of some Ramsey-type statements by Jan Krajicek

30.11.2011

24.11.2011

Almost Exact Matchings

23.11.2011

Optimal stopping for covert expansion.

23.11.2011

On-line choice number

17.11.2011

Garbage collection by reference counting the strongly connected components

16.11.2011

Coarse-graining of cellular automata, emergence, and the predictability by Navot Israeli, Nigel Goldenfeld

16.11.2011

Outerplanar graph drawings with few slopes

10.11.2011

Complexity of Type Inference by Jerzy Tyszkiewicz

09.11.2011

On the Albertson Crossing Conjecture

03.11.2011