Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

Metadaten
Titel
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems
Horn constraint systems and cutting plane refutations
verfasst von
P. Wojciechowski
K. Subramani
Publikationsdatum
01.06.2022
Verlag
Springer International Publishing
Erschienen in
Annals of Mathematics and Artificial Intelligence
Print ISSN: 1012-2443
Elektronische ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-022-09800-7

Premium Partner