TY - GEN
AU - Bergold, Helena
AU - Felsner, Stefan
AU - Scheucher, Manfred
AU - Helena Bergold and Stefan Felsner and Manfred Scheucher
TI - An Extension Theorem for Signotopes
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - extendability
KW - arrangement of pseudohyperplanes
KW - oriented matroid
KW - Boolean satisfiability (SAT)
KW - Levi’s extension lemma
KW - signotope
KW - partial order
KW - arrangement of pseudolines
PY - 2023
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation