Online SAT Seminar

This seminar series came out of the Simons Institute program titled “Satisfiability: Theory, Practice, and Beyond” held at the University of California, Berkeley, USA from Jan-May, 2021. Everybody interested in Satisfiability and related areas is welcome.

Join Our Group

Join our group in order to be notified about upcoming talks.

Upcoming Talks

Date Author Name Author Affiliation Talk Title/Slides More Info
TBD Adam Zsolt Wagner Tel Aviv University A simple RL setup to find counterexamples to open conjectures in mathematics Link