back to root

back to bookclub

2020-05-??

• Martin R

  2020-05-14 15:1:9 (GMT)

  I'm starting the search for the next paper and the next date.

• Martin R

  2020-05-14 15:2:57 (GMT)

  Going by the 2 week rhythm the next meeting would be on Thu 2020-05-28 at 15:00 CET. Who finds that inconvenent?

• Martin R

  2020-05-14 15:6:32 (GMT)

  • Labelled Clauses, by Lev-Ami, Weidenbach, Reps and Sagiv (carried over from proposals)

• Martin R

  2020-05-14 15:9:35 (GMT)

  • Brakensiek, Heule, Mackey, Narvaez: The Resolution of Keller’s Conjecture ( https://arxiv.org/pdf/1910.03740.pdf carried over from proposals)

• Martin R

  2020-05-14 15:10:43 (GMT)

  • Möhle, Biere - Backing Backtracking ( http://fmv.jku.at/papers/MoehleBiere-SAT19.pdf also proposed before)

• Martin R

  2020-05-14 15:12:58 (GMT)

  • Gleiss, Suda: Layered Clause Selection for Theory Reasoning ( https://arxiv.org/abs/2001.09705 proposed before)

• Martin R

  2020-05-14 15:17:9 (GMT)

  please feel free to add more :)