Learn More
Conflict-Driven Clause-Learning (CDCL) SAT solvers crucially depend on the Variable State Independent Decaying Sum (VSIDS) branching heuristic for their performance. Although VSIDS was proposed nearly fifteen years ago, and many other branching heuristics for SAT solving have since been proposed, VSIDS remains one of the most effective branching heuristics.(More)
—The Alloy Analyzer includes a visualizer tool for presenting counterexamples to the user. This visualizer tool contains a wide array of settings and a 'Magic Layout' feature to automatically infer values for these settings based on a static analysis of the specification being visualized. We improve both the visualizer itself and the Magic Layout feature.(More)
  • 1