PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization

DOI10.1109/TC.2015.2458869zbMath1360.68789MaRDI QIDQ2985445

Bernd Becker, Ilia Polian, M. Sauer

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)