Joseph Poremba

According to our database, Joseph Poremba authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

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