Publications by the researcher in collaboration with José Santos Reyes (1)

2022

  1. A MaxSAT Solver Based on Differential Evolution (Preliminary Report)

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