2020-05-29 10:5:12 (GMT)
I believe a 1 is missing in the title. The next meeting should be the 11th of June, except if something was discussed at the end of the meeting yesterday that I am not aware of. I have tentatively corrected the title.
2020-05-29 11:27:54 (GMT)
Weird. I'm pretty sure I pressed the 1 key three times.
2020-05-29 13:33:6 (GMT)
Going in the other direction to ITP, this paper previously suggested by Haniel:
A SAT paper I've been wanting to read for a while is Backing Backtracking, which goes about the advantages of chronological backtracking
http://fmv.jku.at/papers/MoehleBiere-SAT19.pdf