Joseph Poremba

According to our database, Joseph Poremba authored at least 6 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Portus: Linking Alloy with SMT-based Finite Model Finding.

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

IEEE Trans. Software Eng., February, 2026

Unsplittable Flow Cut Gap in Undirected Graphs.

David Alemán Espinosa, Nikhil Kumar, Joseph Poremba, F. Bruce Shepherd

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025

Uncrossed Multiflows and Applications to Disjoint Paths.

Chandra Chekuri, Guyslain Naves, Joseph Poremba, F. Bruce Shepherd

CoRR, November, 2025

2023

New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding.

Joseph Poremba, Nancy A. Day, Amirhossein Vakili

IEEE Trans. Software Eng., June, 2023

Cut-Sufficient Directed 2-Commodity Multiflow Topologies.

Joseph Poremba, F. Bruce Shepherd

Proceedings of the Integer Programming and Combinatorial Optimization, 2023

2020

Static Symmetry Breaking in Many-Sorted Finite Model Finding.

Joseph Poremba

CoRR, 2020