Behind the Scenes of Chronological CDCLIn the sat-rg-restarts reading group in the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute Berkeley, Cyberspace, 13 April, 2021 [ slides ]