Author of the publication

A Dedicated Algorithm for Verification of Interlocking Systems.

, and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 76-87. Springer, (2016)

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

A Dedicated Algorithm for Verification of Interlocking Systems., and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 76-87. Springer, (2016)The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights., , , , , , , , , and 32 other author(s). NeurIPS (Competition and Demos), volume 176 of Proceedings of Machine Learning Research, page 220-231. PMLR, (2021)Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning., , , and . CPAIOR, volume 12735 of Lecture Notes in Computer Science, page 446-455. Springer, (2021)Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams., , and . J. Artif. Intell. Res., (2023)The world migration network: Rankings, groups and gravity models., and . EUROCON, page 1-6. IEEE, (2015)MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization., , , and . IJCAI, page 6931-6939. ijcai.org, (2024)Training a Deep Q-Learning Agent Inside a Generic Constraint Programming Solver., , , , , and . CoRR, (2023)A Constraint Programming Approach for Solving Patient Transportation Problems., , , and . CP, volume 11008 of Lecture Notes in Computer Science, page 490-506. Springer, (2018)Repositioning Fleet Vehicles: A Learning Pipeline., , , and . LION, volume 14286 of Lecture Notes in Computer Science, page 301-317. Springer, (2023)Combinatorial Optimization and Reasoning with Graph Neural Networks., , , , , and . J. Mach. Learn. Res., (2023)