publication venue for Farkas Bounds on Horn Constraint Systems (vol 68, pg 227, 2023) 2025 Farkas Bounds on Horn Constraint Systems 2024 Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality 2023 Characterizing the micronuclear gene patterns in ciliates 2002
