Efficient Incremental #SAT via Cross-Instance Knowledge Reuse.

Uriya Bartal, Dror Fried, Jean-Marie Lagniez

Browse the full KR paper archive.