Dirk BeyerNian-Ze LeePhilipp Wendler2025-03-192025-03-192025-02-05https://scholars.lib.ntu.edu.tw/handle/123456789/725849Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verificationjournal article10.1007/s10817-024-09702-9