Jan 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
https://portal.mardi4nfdi.de/entity/Q2829349	2016-10-27	Paper
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses	2015-12-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Gorzny