A paper on characterizing early termination is accepted in ASP-DAC 2022 Sep 28, 2021 Project More information can be found here. Unary Computing