Automatic trace analysis for logic of constraints.

Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe

Browse the full DAC paper archive.