Skip to content

VSIDS optimization

The following changes might improve performance of VSIDS

  • do not multiply the whole activity each time => adapt increment after each update and periodically divide to avoid overflow
  • cache best value in BaseHeuristic? => update only when e.g. activity changes (might not that be that easy since we need to respect the queue)