Hiroshi Hosobe Hierarchical nonlinear constraint satisfaction. 16-20 2004 conf/sac/2004 SAC http://doi.acm.org/10.1145/967900.967907 db/conf/sac/sac2004.html#Hosobe04