Design, implementation and evaluation of a distributed CDCL framework

von Grinten, Alexander <<van der>>
Veröffentlicht 2018

SAT-AND-REDUCE FOR VERTEX COVER: ACCELERATING BRANCH-AND-REDUCE BY SAT SOLVING

von Plachetta, Rick
Veröffentlicht in SIAM Symposium on Algorithm Engineering and Experiments (2021 : Online) Symposium on Algorithm Engineering and Experiments (ALENEX21) (2021)

Design, implementation and evaluation of a distributed CDCL framework

von Grinten, Alexander van der
Veröffentlicht 2018

New Approximation Algorithms for Forest Closeness Centrality — for Individual Vertices and Vertex Groups

von Grinten, Alexander van der
Veröffentlicht in SIAM International Conference on Data Mining (2021 : Online) SIAM International Conference on Data Mining (SDM21) (2021)

GROUP-HARMONIC AND GROUP-CLOSENESS MAXIMIZATION — APPROXIMATION AND ENGINEERING

von Angriman, Eugenio
Veröffentlicht in SIAM Symposium on Algorithm Engineering and Experiments (2021 : Online) Symposium on Algorithm Engineering and Experiments (ALENEX21) (2021)

Group Centrality Maximization for Large-scale Graphs

von Angriman, Eugenio
Veröffentlicht in ALENEX (2020 : Salt Lake City, Utah) Symposium on Algorithm Engineering and Experiments (ALENEX20) (2020)