Dantong Ouyang

Latest

• Efficient zonal diagnosis with maximum satisfiability 61(11): 112101:1-112101:14 (2018)