TY - RPRT TI - Space efficient implementation of hypergraph dualization in the D-basis algorithm AU - Skylar Homan AU - Anoop Krishnadas AU - Kira Adaricheva PY - 2025 UR - https://arxiv.org/abs/2512.06988 ID - 2512.06988 ER -