Hendrik Bierlee

According to our database, Hendrik Bierlee authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

2025

ML-KULeuven/SAT25_PB_reductions_experiments.

Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns

Dataset, August, 2025

Improving Reduction Techniques in Pseudo-Boolean Conflict Analysis.

Orestis Lomis, Jo Devriendt, Hendrik Bierlee, Tias Guns

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 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

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

Revisiting Pseudo-Boolean Encodings from an Integer Perspective.

Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

2024

Single Constant Multiplication for SAT.

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2022

Coupling Different Integer Encodings for SAT.

Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022