Computational video editing model based on optimization with constraint-satisfaction | IEEE Conference Publication | IEEE Xplore