2 papers
math.CO2022
Line Planning in Public Transport: Bypassing Line Pool Generation
Irene Heinrich, Philine Schiewe, Constantin Seebach
Line planning, i.e. choosing paths which are operated by one vehicle end-to-end, is an important aspect of public transport planning. While there exists heuristic procedures for ge…
cs.CC2021
Resolution with Symmetry Rule applied to Linear Equations
Pascal Schweitzer, Constantin Seebach
This paper considers the length of resolution proofs when using Krishnamurthy's classic symmetry rules. We show that inconsistent linear equation systems of bounded width over a fi…