1
Publicado 2008
Tabla de Contenidos: ... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Enlace del recurso
Electrónico eBook
3
por Spear, Chris., Spear, Chris.
Publicado 2008
Enlace del recurso
Electrónico eBook