Lectures on pseudo-Boolean solving and optimization at the Indian SAT+SMT Winter School

Aktivitet: Föredrag eller presentation › Inbjuden talare

Beskrivning

Lectures on pseudo-Boolean solving and optimization at the Indian SAT+SMT Winter School at IIT Madras in Chennai, India, in December 2022.
Period2022 dec. 15
EvenemangstitelIndian SAT+SMT Winter School
Typ av evenemangKonferens
PlatsChennai, IndienVisa på karta
OmfattningInternationell