S. Areibi, and A. Vannelli. Satisfiability Problem: Theory and Applications, volume 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 711-724. DIMACS/AMS, (1996)
S. Areibi, and A. Vannelli. Quadratic Assignment and Related Problems, volume 16 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 77-98. DIMACS/AMS, (1993)