Loading the player...


INFO:
Nathan Mull speaking at BIRS workshop, Theory and Practice of Satisfiability Solving, on Thursday, August 30, 2018 on the topic: On CDCL-based Proof Systems with the Ordered Decision Strategy.
Video: Nathan Mull, "On CDCL-based Proof Systems with the Ordered Decision Strategy"