## Topic outline

• Forum
• ### Zusätzliche Materialien

• This is the original paper giving the two branching algorithms for satisfiability as discussed in the lecture.