Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT

Detalles Bibliográficos
Autores principales: Berman, Paul R, Karpinski, M, Scott, A D
Lenguaje:eng
Publicado: 2003
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/630836

Internet

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

Ejemplares similares