...
机译:子句极小公式的扩展和等价问题
Department of Computer Science, Universitaet Paderborn, D-33095 Paderborn, Germany;
clause minimal formulas; extension problem; equivalence problem; complexity;
机译:最小逻辑扩展的负等价
机译:精益条款集:最小不满足条款集的概括
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:子句集与一种扩展多层感知器之间的等价关系
机译:关于DASS,QUE,SI句和标称短语(德语-法语)的等价用法的研究(法语文本)。
机译:从主要泛化梯度预测等价类的扩展:等价类和感知类的合并。
机译:联合正规形式的子句分类:最低限度不可满足的子句集和精益内核