Author of the publication

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.

, , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 232-250. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 232-250. Springer, (2019)Exact and approximate determination of the Pareto set using minimal correction subsets., , , , , , and . CoRR, (2022)Computing and Updating Hypervolume Contributions in Up to Four Dimensions., and . IEEE Trans. Evol. Comput., 22 (3): 449-463 (2018)The Hypervolume Indicator: Problems and Algorithms., , and . CoRR, (2020)Tutorials at PPSN 2016., , , , , , , , , and 19 other author(s). PPSN, volume 9921 of Lecture Notes in Computer Science, page 1012-1022. Springer, (2016)The Hypervolume Indicator: Computational Problems and Algorithms., , and . ACM Comput. Surv., 54 (6): 119:1-119:42 (2022)Greedy Hypervolume Subset Selection in the Three-Objective Case., , and . GECCO, page 671-678. ACM, (2015)Implicit enumeration strategies for the hypervolume subset selection problem., , , and . Comput. Oper. Res., (2018)A Fast Dimension-Sweep Algorithm for the Hypervolume Indicator in Four Dimensions., , and . CCCG, page 77-82. (2012)Exact hypervolume subset selection through incremental computations., , and . Comput. Oper. Res., (2021)