Lecture Notes in Computer Science ISBN: 9783030584740 CP Gocht, S, McBride, R, McCreesh, C, Nordström, J, Prosser, P & Trimble, J 2020, Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems . in H Simonis (ed.), Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12333 LNCS, pp. 338-357, 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, Louvain-la-Neuve, Belgium, 07/09/2020 . https://doi.org/10.1007/978-3-030-58475-7_20