Joseph Poremba

Orcid: 0000-0003-3210-5504

According to our database1, Joseph Poremba authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Timeline

2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2023
New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding.
IEEE Trans. Software Eng., June, 2023

Cut-Sufficient Directed 2-Commodity Multiflow Topologies.
Proceedings of the Integer Programming and Combinatorial Optimization, 2023

2020
Static Symmetry Breaking in Many-Sorted Finite Model Finding.
CoRR, 2020


  Loading...