Publicaciones (8) Publicaciones de EDUARD TORRES MONTIEL

2024

  1. Effectively computing high strength mixed covering arrays with constraints

    Journal of Parallel and Distributed Computing, Vol. 185

  2. ePyDGGA: automatic configuration for fitting epidemic curves

    Scientific Reports, Vol. 14, Núm. 1

2023

  1. Exploiting Configurations of MaxSAT Solvers

    Leibniz International Proceedings in Informatics, LIPIcs

  2. Interpretable decision trees through MaxSAT

    Artificial Intelligence Review, Vol. 56, Núm. 8, pp. 8303-8323

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

    Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431

  2. OptiLog V2: Model, Solve, Tune and Run

    Leibniz International Proceedings in Informatics, LIPIcs

2021

  1. Building high strength mixed covering arrays with constraints

    Leibniz International Proceedings in Informatics, LIPIcs

  2. OptiLog: A Framework for SAT-based Systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)