On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems Horn constraint systems and cutting plane refutations-MedSci.cn

On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems Horn constraint systems and cutting plane refutations

Wojciechowski, P; Subramani, K

Subramani, K (通讯作者)，West Virginia Univ, LDCSEE, Morgantown, WV 26506 USA.

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (10): 979

科室
- - 订阅+
  - 更多科室
工具
服务