Herbert Fleischner | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/herbert-fleischner/Herbert FleischnerHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngHerbert Fleischnerhttps://ac.tuwien.ac.at/team/herbert-fleischner/Putting Tutte's Counterexample to Tait's Conjecture in Perspective to Hamiltonicity and Non-Hamiltonicity in Certain Planar Cubic Graphshttps://ac.tuwien.ac.at/publication/putting-tutte-s-counterexample-to-tait-s-conjecture-in-perspective-to-hamiltonicity-and-non-hamiltonicity-in-certain-planar-cubic-graphs/Thu, 01 Jan 2026 00:00:00 +0000https://ac.tuwien.ac.at/publication/putting-tutte-s-counterexample-to-tait-s-conjecture-in-perspective-to-hamiltonicity-and-non-hamiltonicity-in-certain-planar-cubic-graphs/A Lower Bound for the Smallest Uniquely Hamiltonian Planar Graph with Minimum Degree Threehttps://ac.tuwien.ac.at/publication/a-lower-bound-for-the-smallest-uniquely-hamiltonian-planar-graph-with-minimum-degree-three/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-lower-bound-for-the-smallest-uniquely-hamiltonian-planar-graph-with-minimum-degree-three/A Model for Finding Transition-Minorshttps://ac.tuwien.ac.at/publication/a-model-for-finding-transition-minors/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-model-for-finding-transition-minors/A Lower Bound for the Smallest Uniquely Hamiltonian Planar Graph with Minimum Degree Threehttps://ac.tuwien.ac.at/publication/a-lower-bound-for-the-smallest-uniquely-hamiltonian-planar-graph-with-minimum-degree-three-2/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-lower-bound-for-the-smallest-uniquely-hamiltonian-planar-graph-with-minimum-degree-three-2/A SAT Approach for Finding Sup-Transition-Minorshttps://ac.tuwien.ac.at/publication/a-sat-approach-for-finding-sup-transition-minors/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-for-finding-sup-transition-minors/A Model for Finding Transition-Minorshttps://ac.tuwien.ac.at/publication/a-model-for-finding-transition-minors-2/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-model-for-finding-transition-minors-2/A SAT Approach for Finding Sup-Transition-Minorshttps://ac.tuwien.ac.at/publication/a-sat-approach-for-finding-sup-transition-minors-2/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-for-finding-sup-transition-minors-2/Finding Smooth Graphs with Small Independence Numbershttps://ac.tuwien.ac.at/publication/finding-smooth-graphs-with-small-independence-numbers/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/finding-smooth-graphs-with-small-independence-numbers/Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbershttps://ac.tuwien.ac.at/publication/finding-uniquely-hamiltonian-graphs-of-minimum-degree-three-with-small-crossing-numbers/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/finding-uniquely-hamiltonian-graphs-of-minimum-degree-three-with-small-crossing-numbers/Covering graphs with few complete bipartite subgraphshttps://ac.tuwien.ac.at/publication/covering-graphs-with-few-complete-bipartite-subgraphs-2/Thu, 01 Jan 2009 00:00:00 +0000https://ac.tuwien.ac.at/publication/covering-graphs-with-few-complete-bipartite-subgraphs-2/Covering Graphs with Few Complete Bipartite Subgraphshttps://ac.tuwien.ac.at/publication/covering-graphs-with-few-complete-bipartite-subgraphs/Mon, 01 Jan 2007 00:00:00 +0000https://ac.tuwien.ac.at/publication/covering-graphs-with-few-complete-bipartite-subgraphs/On Edge-Colored Graphs Covered by Properly Colored Cycleshttps://ac.tuwien.ac.at/publication/on-edge-colored-graphs-covered-by-properly-colored-cycles/Sat, 01 Jan 2005 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-edge-colored-graphs-covered-by-properly-colored-cycles/Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable differencehttps://ac.tuwien.ac.at/publication/polynomial-time-recognition-of-minimal-unsatisfiable-formulas-with-fixed-clause-variable-difference/Tue, 01 Jan 2002 00:00:00 +0000https://ac.tuwien.ac.at/publication/polynomial-time-recognition-of-minimal-unsatisfiable-formulas-with-fixed-clause-variable-difference/