Two Tractctable Subclasses of Minimal Unsatisfiable Formulas-猫眼课题宝

最小不可满足公式的两个可处理子类

DOI：

--

发表时间：

--

期刊：

Science in china ,Series ,A

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

赵希顺;丁德成