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