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

DOI10.1109/TC.2015.2458869MaRDI QIDQ2985445zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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

This page was built for publication: PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985445)