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
Baruch Sterin, Alan Mishchenko, Mathias Soeken, Ana Petkovska, Paolo Ienne, Giovanni De Micheli, Robert K. Brayton
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.)
Related Items
The complexity of error metrics, A group algebraic approach to NPN classification of Boolean functions, A new pairwise NPN Boolean matching algorithm based on structural difference signature
Uses Software
Cites Work