| 2026 | CP | Table Constraints for Integer Programming. | Hendrik Bierlee, Wout Piessens, Tias Guns, Peter J. Stuckey |
| 2026 | FLOPS | Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls). | Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter J. Stuckey |
| 2025 | CPAIOR | Revisiting Pseudo-Boolean Encodings from an Integer Perspective. | Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey |
| 2025 | CPAIOR | Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. | Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey |
| 2025 | SAT | Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis. | Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns |
| 2024 | CPAIOR | Single Constant Multiplication for SAT. | Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack |
| 2022 | CPAIOR | Coupling Different Integer Encodings for SAT. | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |