Carregant...
Carregant...

Vés al contingut (premeu Retorn)

On sufficient conditions for unsatisfiability of random formulas

Autor
Atserias, A.
Tipus d'activitat
Article en revista
Revista
Journal of the ACM
Data de publicació
2004-03
Volum
51
Número
2
Pàgina inicial
281
Pàgina final
311
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants