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

Brand : Springer, Binding : Taschenbuch, Edition : 2006, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 448, publicationDate : 2008-06-13, releaseDate : 2006-09-15, authors : Gomes, Carla P., Armin Biere, ISBN : 3540372067 ...