PACE Solver Description: CIMAT_Team

  1. Segura, C.
  2. Lugo, L.
  3. Miranda, G.
  4. Cárdenas, E.D.S.
Proceedings:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959773539

Year of publication: 2024

19th International Symposium on Parameterized and Exact Computation, IPEC 2024

Volume: 321

Type: Conference paper

DOI: 10.4230/LIPICS.IPEC.2024.31 GOOGLE SCHOLAR