Dagstuhl Seminar 22411Theory and Practice of SAT and Combinatorial Solving

Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat workshop/ seminarium/ kurs

Beskrivning

Dagstuhl Seminar 22411: Theory and Practice of SAT and Combinatorial Solving
Period2022 okt. 9 → 2022 okt. 14
Typ av evenemangWorkshop
OmfattningInternationell