add dynamic, slice figures in related work
add mathematics model for discrete constraints