Recomienda este artículo a tus amigos:
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
¿Tienes un perfil? Iniciar sesión
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
980 pages, Illustrations