Ershov A., Kiselev A., Rukoleev E. Spanning-tree modeling method for geometric constraint satisfaction problem // Computer Science. — 2007. — # 26 — P. 75-89