SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Published in arXiv preprint, 2024
Recommended citation: Geng, C., Ye, H., Zhang, Y., Pientka, B., & Si, X. SAT-DIFF: A Tree Diffing Framework Using SAT Solving. arXiv preprint arXiv:2404.04731, 2024. https://arxiv.org/pdf/2404.04731
SAT-DIFF computes minimal edit scripts between ordered trees by encoding the tree-differencing problem as a MaxSAT problem, and evaluates against GumTree on two benchmarks.