Efficient Incremental #SAT via Cross-Instance Knowledge Reuse. - Uriya Bartal; Dror Fried; Jean-Marie Lagniez (CoRR, 2026)