2,005 followers
RT @cpaior2020: #cpaior2020 #MasterClass talk on MaxSAT, Multi-Objective Optimisation, and Parallelism will be held by Inês Lynce from the…
RT @cpaior2020: #cpaior2020 #MasterClass talk on MaxSAT, Multi-Objective Optimisation, and Parallelism will be held by Inês Lynce from the…
RT @cpaior2020: #cpaior2020 #MasterClass talk on MaxSAT, Multi-Objective Optimisation, and Parallelism will be held by Inês Lynce from the…
#cpaior2020 #MasterClass talk on MaxSAT, Multi-Objective Optimisation, and Parallelism will be held by Inês Lynce from the University of Lisbon. Already interested? Check out her paper on Parallel Maximum Satsifiability (https://t.co/FO6xZPy3mj) https://t.