Don't Care Words with an Application to the Automata-Based Approach for Real Addition.

Jochen Eisinger, Felix Klaedtke

Browse the full CAV paper archive.