Personensuche
X
?
Proceedings of the twenty-fourth annual ACM-SIAM symposium on Discrete algorithms ,
2
Frozen variables in random boolean constraint satisfaction ..:
, In:
?
Proceedings of the forty-fourth annual ACM symposium on Theory of computing ,
3
The freezing threshold for k-colourings of a random graph:
, In:
?
Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete algorithms ,
4
The scaling window for a random graph with a given degree s..:
, In:
?
Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms ,
5
Asymptotically optimal frugal colouring:
, In:
?
Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms ,
6
Exponential bounds for DPLL below the satisfiability thresh..:
, In:
?
Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms ,
7
The pure literal rule threshold and cores in random hypergr..:
, In:
?
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing ,
8
Models and thresholds for random constraint satisfaction pr..:
, In:
?
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing ,
9
The Glauber dynamics on colourings of a graph with high gir..:
, In:
?
Eighteenth national conference on Artificial intelligence ,
10
Optimal depth-first strategies for and-or trees:
, In:
?
Proceedings of the thirty-third annual ACM symposium on Theory of computing ,
11
A sharp threshold in proof complexity:
, In:
?
Proceedings of the thirty-third annual ACM symposium on Theory of computing ,
12
Colouring graphs when the number of colours is nearly the m..:
, In:
?
Proceedings of the thirtieth annual ACM symposium on Theory of computing ,
13
Further algorithmic aspects of the local lemma:
, In:
?
Proceedings of the 22nd conference on Winter simulation ,
15