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

Aktivitet: Föredrag eller presentation › Inbjuden talare

Beskrivning

Tutorial "Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming" given at CP 2022 in Haifa, Israel, August 2022.
Period2022 aug. 2
Evenemangstitel28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Typ av evenemangKonferens
PlatsHaifa, IsraelVisa på karta
OmfattningInternationell