Hendrik Bierlee

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Phase Transition

Propositional Satisfiability

Top Venues

Publications

Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack
Single Constant Multiplication for SAT. CPAIOR (1) (2024)
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
Coupling Different Integer Encodings for SAT. CPAIOR (2022)