Tutorial "Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming" at CP 2022

Activity: Talk or presentation › Invited talk

Description

Tutorial "Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming" given at CP 2022 in Haifa, Israel, August 2022.
Period2022 Aug 2
Event title28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Event typeConference
LocationHaifa, IsraelShow on map
Degree of RecognitionInternational