Hendrik Bierlee

According to our database, Hendrik Bierlee authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

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