Publicaciones en las que colabora con EDUARD TORRES MONTIEL (8)

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)