Hendrik Bierlee

According to our database, Hendrik Bierlee authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

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