Efficiently encoding scheduling problems to satisfiability modulo theories .

• Autores: Jordi Coll Caballero
• Localización: II Conference of Pre-doctoral Researchers: abstract Book. Volume 2 / coord. por Miquel Solà i Puig, 2018, ISBN 978-84-8458-542-8, pág. 119
• Idioma: inglés
• Enlaces
  • Texto Completo Libro