Input order for ROBDDs based on kernel analysis | IEEE Conference Publication | IEEE Xplore