J. Gorzny

Available identifiers

zbMath Open gorzny.janMaRDI QIDQ528558

List of research outcomes

Publication	Date of Publication	Type
Computing imbalance-minimal orderings for bipartite permutation graphs and threshold graphs	2023-03-21	Paper
Lifting propositional proof compression algorithms to first-order logic	2022-01-03	Paper
End-vertices of AT-free bigraphs	2021-04-21	Paper
Imbalance, cutwidth, and the structure of optimal orderings	2020-02-24	Paper
End-vertices of LBFS of (AT-free) bigraphs	2017-05-12	Paper
Exact values for the \(\varepsilon\)-ascent chromatic index of complete graphs	2016-10-27	Paper
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses	2015-12-02	Paper

Research outcomes over time

This page was built for person: J. Gorzny