Urmăriți
Hendrik Bierlee
Hendrik Bierlee
PhD student, Monash University
Adresă de e-mail confirmată pe monash.edu
Titlu
Citat de
Citat de
Anul
Coupling Different Integer Encodings for SAT
H Bierlee, G Gange, G Tack, JJ Dekker, PJ Stuckey
International Conference on Integration of Constraint Programming …, 2022
12022
The MiniZinc-SAT Compiler
H Bierlee
2021
Single Constant Multiplication for SAT
H Bierlee, JJ Dekker, V Lagoon, PJ Stuckey, G Tack
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–3