Publicaciones en las que colabora con Jesús Ojeda Contreras (3)

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

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

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)