Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications.

Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne

Browse the full ICCAD paper archive.