Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 7650340 - MaRDI portal

scientific article; zbMATH DE number 7650340

From MaRDI portal

Publication:5875680

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2019.43MaRDI QIDQ5875680

Büning Hans Kleine, Piotr J. Wojciechowski, K. Subramani and Vahan Mkrtchyan

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cutting planes proof length Horn constraints

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items (2)

Unit read-once refutations for systems of difference constraints ⋮ On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5875680&oldid=30743900"