Holger H. Hoos

Latest

• Efficient Local Search for Pseudo Boolean Optimization
• PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation PPSN (1) 2020: 373-389
• Local Search with Efficient Automatic Configuration for Minimum Vertex Cover IJCAI 2019: 1297-1304