Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.

Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker

Browse the full DATE paper archive.