Skip to content

Dynamic Variable Reordering (MSc Handover)#43

Open
apdofficial wants to merge 5 commits intotrolando:masterfrom
apdofficial:handover
Open

Dynamic Variable Reordering (MSc Handover)#43
apdofficial wants to merge 5 commits intotrolando:masterfrom
apdofficial:handover

Conversation

@apdofficial
Copy link

Implementation of Rudell's sifting algorithm with dynamic lower bounds (Pistek, 2023). The implementation relies on the following:

  • Sylvan hash map variant with chaining hash collision avoidance
  • Reference counting garbage collection
  • Atomic Sylvan compatible bitmaps
  • Roaring bitmaps

@trolando trolando force-pushed the master branch 2 times, most recently from ba13229 to 74578fb Compare October 25, 2023 22:53
@trolando trolando force-pushed the master branch 4 times, most recently from 2afc4d7 to 4013c97 Compare August 5, 2025 11:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant