Tseitin's tautologies and lower bounds for Nullstellensatz proofs

Detalles Bibliográficos
Autor principal: Grigoriev, D N
Lenguaje:eng
Publicado: 1998
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/361712

Internet

http://cds.cern.ch/record/361712

Ejemplares similares