235 citations · 850 across the 47 of their papers we have counts for
3 papers · 1 filter
SAT-based Analysis of Large Real-world Feature Models is Easy
Jia Hui Liang, Vijay Ganesh, Venkatesh Raman +1
Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers provide efficient automatic analysis of real-world feature models (FM) of systems ranging from cars to operating s…
DCLfix: A Recommendation System for Repairing Architectural Violations
Ricardo Terra, Marco Tulio Valente, Roberto Bigonha +1
Architectural erosion is a recurrent problem in software evolution. Despite this fact, the process is usually tackled in ad hoc ways, without adequate tool support at the architect…
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
Jia Hui Liang, Vijay Ganesh, Ed Zulkoski +2
Conflict-Driven Clause-Learning SAT solvers crucially depend on the Variable State Independent Decaying Sum (VSIDS) branching heuristic for their performance. Although VSIDS was pr…