Manual petsc
2004 zuckerberg a set theoretic approach to lifting procedures for 0-1 integer programming
Integer programming branch and bound