Efficient SAT-Based Search for Longest Sensitisable Paths

2011 Asian Test Symposium ◽

10.1109/ats.2011.43 ◽

2011 ◽

Cited By ~ 18

Author(s):

Matthias Sauer ◽

Jie Jiang ◽

Alexander Czutro ◽

Ilia Polian ◽

Bernd Becker

Download Full-text