Jesús
Ojeda Contreras
Publications by the researcher in collaboration with Jesús Ojeda Contreras (3)
2022
-
Incomplete MaxSAT approaches for combinatorial testing
Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431
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)