No. Title Author Year
1 Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming Peng, Xiao et al. 2023
2 Front Matter, Table of Contents, Preface, Conference Organization Solnon, Christine 2022
3 LIPIcs, Volume 235, CP 2022, Complete Volume Solnon, Christine 2022
4 Automatic Generation of Declarative Models For Differential Cryptanalysis Libralesso, Luc et al. 2021
5 Solving the Non-Crossing MAPF with CP Peng, Xiao et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI