PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization
From MaRDI portal
Publication:2985445
DOI10.1109/TC.2015.2458869zbMath1360.68789MaRDI QIDQ2985445
M. Sauer, Bernd Becker, Ilia Polian
Publication date: 16 May 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.2015.2458869
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)