Nicolas Beldiceanu Qi Guo Sven Thiel Non-overlapping Constraints between Convex Polytopes. 392-407 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390392.htm db/conf/cp/cp2001.html#BeldiceanuGT01