Skip to main content
main-content
Top

Hint

Swipe to navigate through the articles of this issue

01-06-2022

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

Horn constraint systems and cutting plane refutations

Authors: P. Wojciechowski, K. Subramani

Published in: Annals of Mathematics and Artificial Intelligence

Login to get access
share
SHARE
Metadata
Title
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems
Horn constraint systems and cutting plane refutations
Authors
P. Wojciechowski
K. Subramani
Publication date
01-06-2022
Publisher
Springer International Publishing
Published in
Annals of Mathematics and Artificial Intelligence
Print ISSN: 1012-2443
Electronic ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-022-09800-7

Premium Partner