State assignment for multilevel logic using dynamic literal estimation | IEEE Conference Publication | IEEE Xplore