1/1
Theory and Applications of Satisfiability Testing – SAT 2016
Autor/Editor: Creignou, Nadia - Le Berre, Daniel
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Theory of Computation - Artificial Intelligence (incl. Robotics) - Mathematics of Computing - Software Engineering
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9710
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-40970-2
ISSN-e: 1611-3349