Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solvi: A visual constraint modeling tool., , , and . J. Comput. Lang., (March 2024)How People Visually Represent Discrete Constraint Problems., , , and . IEEE Trans. Vis. Comput. Graph., 26 (8): 2603-2619 (2020)An Approach to Population Linkage using Graph Databases., , and . SEBD, volume 3478 of CEUR Workshop Proceedings, page 291-302. CEUR-WS.org, (2023)Enumeration of set-theoretic solutions to the Yang-Baxter equation., , and . Math. Comput., 91 (335): 1469-1481 (2022)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , and . Artif. Intell., (2022)Automatic Streamlining for Constrained Optimisation., , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 366-383. Springer, (2019)Solving Computational Problems in the Theory of Word-Representable Graphs., , , and . J. Integer Seq., 22 (2): 19.2.5 (2019)Composable Constraint Models for Permutation Enumeration., , and . CoRR, (2023)Effective Encodings of Constraint Programming Models to SMT., , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 143-159. Springer, (2020)Frugal Algorithm Selection., , , and . CoRR, (2024)