机译:关于解决方案和相关命题证明系统的自动化
Propositional proof complexity; Feasible interpolation; Automatizability; Reflection principles; Resolution; Res(2); Weak pigeonhole principle; Lower bounds; Complexity; Size; Interpolation;
机译:解析和相关命题证明系统的自动化
机译:基于分辨率的命题证明系统中易处理性的限制
机译:命题证明系统中线性方程组分辨率的复杂公式的多项式模拟与反驳。
机译:解析和相关命题证明系统的自动化
机译:决议逻辑,GENTZEN系统和文字树。
机译:标记的插值系统用于超分辨率从句和局部证明
机译:关于解决方案和相关命题证明系统的自动化