Efficient Incremental #SAT via Cross-Instance Knowledge Reuse (ArXiv cs.LO Recent Papers, 2026)