RUE-NRF归结相关论文
关于ｓｔｒｏｎｇ形ＲＵＥ－ＮＲＦ归结的反倒欧阳丹彤，刘叙华（吉林大学计算机科学系长春１３００２３）ＡＣＯＵＮＴＥＲＥＸＡＭＰＬＥＯＦＲＵＥ－ＮＲＦＲＥＳＯＬＵＴＩＯＮＩＮＳＴＲＯＮＧＦＯＲＭ￥ＯｕｙａｎｇＤａｎｔｏｎｇａｎｄＬｉｕＸｕｈｕａ（Ｄｅｐａ...更多还原......
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上....
