Satisfiability modulo theory in finding the distance distribution of binary constraines arrays

• Autores: Putranto Utromo
• Localización: Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro, Felipe Gago Couso, Manuel Ladra González, 2018, ISBN 978-84-16954-87-2, pág. 226
• Idioma: inglés
• Texto completo no disponible (Saber más ...)