On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems | springerprofessional.de

Register Login

Springer Professional

JAVASCRIPT NEEDED

Please enable JavaScript on your browser, so that you can use all features of this website.

window.dataLayer = window.dataLayer || []; window.dataLayer.push({ 'event': 'track', 'eventCategory': 'flash_warning', 'eventAction': 'Javascript needed', 'eventLabel': 'Please enable JavaScript on your browser, so that you can use all features of this website.' });

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

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

Version: 0.2067.0

Springer Professional

Hint

Swipe to navigate through the articles of this issue

Please log in to get access to this content

Premium Partner