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

Solution Sampling with Random Table Constraints., , and . CP, volume 210 of LIPIcs, page 56:1-56:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Choco-solver: A Java library for constraint programming., and . J. Open Source Softw., 7 (78): 4708 (October 2022)Solution sampling with random table constraints., , and . Constraints An Int. J., 27 (4): 381-413 (2022)SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers., , , , , , , , and . SEAMS, page 25-31. IEEE, (2023)SKINNY with Scalpel - Comparing Tools for Differential Analysis., , , , , and . IACR Cryptol. ePrint Arch., (2020)CoMe4ACloud: An end-to-end framework for autonomic Cloud systems., , , , , and . Future Gener. Comput. Syst., (2018)A Simpler Model for Recovering Superpoly on Trivium., , , and . SAC, volume 13203 of Lecture Notes in Computer Science, page 266-285. Springer, (2021)Guiding Backtrack Search by Tracking Variables During Constraint Propagation., , and . CP, volume 280 of LIPIcs, page 9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Global domain views for expressive and cross-domain constraint programming., and . Constraints An Int. J., 27 (1-2): 1-7 (2022)Correction to: Solution sampling with random table constraints., , and . Constraints An Int. J., 28 (3): 519 (September 2023)