53 citations · 136 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023★ 7 cited
MELT: Mining Effective Lightweight Transformations from Pull Requests
Daniel Ramos, Hailie Mitchell, Inês Lynce +3
Software developers often struggle to update APIs, leading to manual, time-consuming, and error-prone processes. We introduce MELT, a new approach that generates lightweight API mi…
cs.AI2023
UpMax: User partitioning for MaxSAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
It has been shown that Maximum Satisfiability (MaxSAT) problem instances can be effectively solved by partitioning the set of soft clauses into several disjoint sets. The partition…