Workshop “SAT Encodings and Beyond”
I was invited as one of roughly 20 world-leading experts in the field to the “SAT Encodings and Beyond” Dagstuhl Seminar. I would like to thnk the organizer for the invite.
I was invited as one of roughly 20 world-leading experts in the field to the “SAT Encodings and Beyond” Dagstuhl Seminar. I would like to thnk the organizer for the invite.