- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
Publicaciones en las que colabora con EDUARD TORRES MONTIEL (8)
2024
-
Effectively computing high strength mixed covering arrays with constraints
Journal of Parallel and Distributed Computing, Vol. 185
-
ePyDGGA: automatic configuration for fitting epidemic curves
Scientific Reports, Vol. 14, Núm. 1
2023
-
Exploiting Configurations of MaxSAT Solvers
Leibniz International Proceedings in Informatics, LIPIcs
-
Interpretable decision trees through MaxSAT
Artificial Intelligence Review, Vol. 56, Núm. 8, pp. 8303-8323
2022
-
Incomplete MaxSAT approaches for combinatorial testing
Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431
-
OptiLog V2: Model, Solve, Tune and Run
Leibniz International Proceedings in Informatics, LIPIcs
2021
-
Building high strength mixed covering arrays with constraints
Leibniz International Proceedings in Informatics, LIPIcs
-
OptiLog: A Framework for SAT-based Systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)