00:40:18	Antonina Kolokolova:	https://www.math.ucsd.edu/~sbuss/ResearchWeb/Simons_BootCamp_2021/talkslidesLive.pdf
01:00:07	Karem A Sakallah:	I think you can backjump after a single conflict
01:11:31	Sibylle Möhle-Rotondi:	Paper: Chronological Backtracking by Alexander Nadel and Vadim Ryvchin, SAT'18
01:11:37	Sibylle Möhle-Rotondi:	Formalization and correctness proof of Chronological CDCL to be found in the paper "Backing Backtracking" by Armin Biere and myself, SAT'19
01:34:57	Vijay Ganesh:	Towards a Complexity-theoretic Understanding of Restarts in SAT Solvers
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, and Vijay Ganesh. (https://link.springer.com/chapter/10.1007%2F978-3-030-51825-7_17 )
01:44:15	Meena Mahajan:	Is pool resolution separated from general resolution? By which formulas?
02:28:06	Antonina Kolokolova:	https://gather.town/app/KtZu6VQcsBxM9Htg/SimonsInstituteWorkshops
02:28:48	Ryan Williams:	Thank you, Sam!