Exploiting Configurations of MaxSAT Solvers

  1. Alòs, J.
  2. Ansótegui, C.
  3. Salvia, J.M.
  4. Torres, E.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959773003

Año de publicación: 2023

29th International Conference on Principles and Practice of Constraint Programming, CP 2023

Volumen: 280

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.CP.2023.7 GOOGLE SCHOLAR
Fuente de los datos: Scopus