Insertion techniques and constraint propagation for the DARP | IEEE Conference Publication | IEEE Xplore