Dagstuhl Seminar 22411Theory and Practice of SAT and Combinatorial Solving

Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course

Description

Dagstuhl Seminar 22411: Theory and Practice of SAT and Combinatorial Solving
Period2022 Oct 9 → 2022 Oct 14
Event typeWorkshop
Degree of RecognitionInternational