• Our resolution tree, with nodes pruned by infeasibility, by bound and by optimality:
• Resolution via WinQSB.pdf