Joseph Poremba

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Symmetry Breaking

Randomly Generated

Top Venues

IEEE Trans. Software Eng.

Publications

Joseph Poremba, F. Bruce Shepherd
Cut-Sufficient Directed 2-Commodity Multiflow Topologies. IPCO (2023)
Joseph Poremba, Nancy A. Day, Amirhossein Vakili
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding. IEEE Trans. Software Eng. 49 (6) (2023)
Joseph Poremba
Static Symmetry Breaking in Many-Sorted Finite Model Finding. CoRR (2020)