Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic

Gonzague Yernaux, Mikel Vandeloise, Manel Barkallah, Wim Vanhoof, Jean-Marie Jacquet

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

9 Downloads (Pure)

1 results

Finished
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.
Yernaux, G. (PI) & Vanhoof, W. (Supervisor)
1/10/18 → 4/09/25
Project: PHD