J. Gorzny
From MaRDI portal
Person:528558
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Journal Of Logic And Computation | 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 Discrete Applied Mathematics | 2017-05-12 | Paper |
| Exact values for the \(\varepsilon\)-ascent chromatic index of complete graphs JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing | 2016-10-27 | Paper |
| Towards the compression of first-order resolution proofs by lowering unit clauses Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Research outcomes over time
This page was built for person: J. Gorzny
