Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems | Annals of Mathematics and Artificial Intelligence |
| 2022 | |
Fair Assignment for Reserved Nucleic Acid Testing | Sustainability |
| 2022 | |
Minimum power partial multi-cover on a line | Theoretical Computer Science |
| 7 | 2021 |
Box-total dual integrality, box-integrality, and equimodular matrices | Mathematical Programming |
| 4 | 2020 |
Computation and efficiency of potential function minimizers of combinatorial congestion games | Mathematical Programming |
| 3 | 2020 |