2020-04-08 12:19:43 (GMT)
Reminder (for those who are joining us now): The paper to read is
Solving SAT and SAT Modulo Theories: From an AbstractDavis–Putnam–Logemann–Loveland Procedure to DPLL(T)
R. Nieuwenhuis, A. Oliveras, and C. Tinelli
https://dl.acm.org/doi/pdf/10.1145/1217856.1217859
2020-04-08 12:20:34 (GMT)
And the next meeting is on Thursday next week at 16:00 Paris time, 10:00 New York time.
2020-04-08 16:1:15 (GMT)
I think we should have one such topic per meeting, with the date in the title.
2020-04-08 16:3:24 (GMT)
Go ahead! You're the Zulip master.