Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la cristian.presura@gmail.com

The Phase Transition in Random Horn satisfiability and its algorithmic implications

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã

Autori: Gabriel Istrate

Editorial: Random Structures and Algorithms, vol. 20 no. 4, p.483-506, 2002.

Rezumat:

I determine the threshold behaviour of random Horn satisfiability via a probabilistic analysis of positive unit resolution, also determining as a byproduct the average-case complexity of this algorithm.

A preliminary version can be read from

http://xxx.lanl.gov/abs/cs.DS/9912001

Cuvinte cheie: satisfiability, positive unit resolution, threshold properties

URL: http://www3.interscience.wiley.com/cgi-bin/abstract/93516258/ABSTRACT