|
Certified Constraint Programming,
June 02, 2025,
Certifying Algorithms for Automated Reasoning (Seminar 25231) @ Schloss Dagstuhl
|
|
|
Certifying the Output of Constraint Programming Solvers Using Proof Logging,
May 26, 2025,
MIAO Seminar Series @ University of Copenhagen
|
|
|
Certifying the Output of Constraint Programming Solvers Using Proof Logging,
May 07, 2025,
OPTIMA Seminar Series @ Monash University
|
|
|
Proof logging for some interesting constraint propagation algorithms,
November 24, 2024,
1st International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS '24) @ University of Copenhagen
|
|
|
Proof Logging for Constraint Programming,
April 01, 2023,
Satisfiability: Theory, Practice, and Beyond @ Simons Institute for the Theory of Computing, UC Berkeley
|
|
|
How can a constraint solver prove it is telling the truth?,
April 04, 2022,
39th British Colloquium for Theoretical Computer Science (BCTCS 2023) @ University of Glasgow
|
|
