Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT
From MaRDI portal
Publication:2818016
DOI10.1007/978-3-319-40970-2_14zbMath1475.68358MaRDI QIDQ2818016
Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Alan Mishchenko, Paolo Ienne, Ana Petkovska, Baruch Sterin
Publication date: 5 September 2016
Published in: Theory and Applications of Satisfiability Testing – SAT 2016 (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/218883
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software
Cites Work