1. Andreello, G., Caprara, A., Fischetti, M.: Embedding cuts in a branch & cut framework: A computational study with
$\{0, \frac{1}{2}\}$
-cuts. Submitted to INFORMS Journal on Computing (2003)
2. Balas, E.: Facets of the knapsack polytope. Mathematical Programming 8, 146–164 (1975)
3. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35, 677–691 (1986)
4. Buro, M., Büning, H.K.: Report on a SAT competition. Bulletin of the European Association for Theoretical Computer Science 49, 143–151 (1993)
5. Lecture Notes in Computer Science;G. Codato,2004