Hardware/software co-design in extensible processing platforms for combinatorial search algorithmsSkliarova, Iouliia; Sklyarov, Valery; Rjabov, Artjom; Sudnitsõn, AleksanderMELECON 2014 : 2014 17th IEEE Mediterranean Electrotechnical Conference :  13-16 April 2014, Beirut, Lebanon2014 / p. 462-466 : ill

Using SAT-based techniques in low power state assignmentSagahyroon, Assim; Aloul, Fadi; Sudnitsõn, AleksanderJournal of circuits, systems, and computers2011 / p. 1605-1618 : ill https://www.worldscientific.com/doi/10.1142/S0218126611007980