Coupling Different Integer Encodings for SAT. - Hendrik Bierlee; Graeme Gange; Guido Tack; Jip J. Dekker; Peter J. Stuckey (CPAIOR, 2022)

Single Constant Multiplication for SAT. - Hendrik Bierlee; Jip J. Dekker; Vitaly Lagoon; Peter J. Stuckey; Guido Tack (CPAIOR (1), 2024)

Revisiting Pseudo-Boolean Encodings from an Integer Perspective. - Hendrik Bierlee; Jip J. Dekker; Peter J. Stuckey (CPAIOR (1), 2025)

Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. - Ida Gjergji; Lucas Kletzander; Hendrik Bierlee; Nysret Musliu; Peter J. Stuckey (CPAIOR (2), 2025)

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis. - Orestis Lomis; Jo Devriendt; Hendrik Bierlee; Tias Guns (SAT, 2025)