具有传递性的一元否定片断的有限可满足性。

丹尼尔·丹尼尔斯基伊曼纽尔·基隆斯基具有传递性的一元否定片断的有限可满足性。 2018 abs/1809.03245 CoRR公司 http://arxiv.org/abs/1809.03245 数据库/期刊/cor/corr1809.html#abs-1809-03245