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

Activity: Talk or presentation › Invited talk

Description

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
Event titleIndian SAT+SMT Winter School
Event typeConference
LocationChennai, IndiaShow on map
Degree of RecognitionInternational