Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Unsatisfiable Random Formulas Are Hard to Certify

Autor
Atserias, A.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
17th IEEE Symposium on Logic in Computer Science (LICS 2002)
Any de l'edició
2002
Data de presentació
2002
Llibre d'actes
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)
Pàgina inicial
325
Pàgina final
334
URL
http://cataleg.upc.edu/record=b1167117~S1*cat Obrir en finestra nova
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants