An Auditable Constraint Programming Solver

Session date: 22 May 2023

Session host: Konstantin Sidorov

Summary:

The very first reading group session, in which I reviewed an approach for integrating constraint programming solving with VeriPB proof logging workflow.

Relevant papers

  1. An Auditable Constraint Programming Solver
    Stephan Gocht, Ciaran McCreesh, and Jakob Nordström
    In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022
    HTML