Faster priority queue for VSIDS
jix opened this issue · comments
Right now the VSIDS decision heuristic uses a binary heap to find the most active unassigned variable. On instances with many variables I've seen it take up more time than I think it should.
I think a variant of a Quickheap (see "Stronger Quickheaps") could work very well.