Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Titulo del libro: Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

Número de páginas: 456 páginas

Fecha de lanzamiento: June 13, 2008

ISBN: 3540372067

Editor: Springer

Obtenga el libro de Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science) en formato PDF o EPUB. Puedes leer cualquier libro en línea o guardarlo en tus dispositivos. Cualquier libro está disponible para descargar sin necesidad de gastar dinero.