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)