publication venue for 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
keywords 0102 Applied Mathematics, 0802 Computation Theory and Mathematics, 0805 Distributed Computing