http://www.cs.ubbcluj.ro/eurolan2005/index.php?r=Overview

http://www.observatorcultural.ro Numarul 2(259) din 10 - 16 martie 2005.

I give a sufficient condition for the existence of a sharp threshold of a random constraint satisfaction problem under a random model due to Molloy, that completely solves the problem in the binary case, thus positively answering an open problem due to Creignou and Daude.

Timisoara, March 17-22, 2005. Details at http://vissas.ieat.ro

http://www.soros.org/initiatives/hesp/focus_areas/afp

Detalii la http://www.romanialibera.ro/editie/index.php?url=articol&tabel=z16022005&idx=56

http://web.mit.edu/newsoffice/2005/mathaward.html

Detalii la http://thor.info.uaic.ro/~busaco/rochi05/

Detalii la http://www.santafe.edu/education/csss/csss05/programinfo05.php

Kirkpatrick and Selman (Science'94) have experimentally shown that random k-satisfiability displays critical behavior , a phenomenon from Statistical Mechanics that roughly asserts that mean-field (first-order) approximations become exact in the limit of large k. I rigorously show that at-most-k-Horn satisfiability displays critical behavior, and explain it by a threshold property of positive unit resolution. A preliminary version can be read from