OptiLog: A Framework for SAT-based Systems

  1. Ansótegui, C.
  2. Ojeda, J.
  3. Pacheco, A.
  4. Pon, J.
  5. Salvia, J.M.
  6. Torres, E.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783030802226

Año de publicación: 2021

Volumen: 12831 LNCS

Páginas: 1-10

Tipo: Aportación congreso

DOI: 10.1007/978-3-030-80223-3_1 GOOGLE SCHOLAR
Fuente de los datos: Scopus