A practical repeater insertion flow. - Nikolai Ryzhenko; Oleg Venger (ACM Great Lakes Symposium on VLSI, 2008)

Physical synthesis onto a layout fabric with regular diffusion and polysilicon geometries. - Nikolai Ryzhenko; Steven M. Burns (DAC, 2011)

Standard cell routing via boolean satisfiability. - Nikolai Ryzhenko; Steven M. Burns (DAC, 2012)

Automated solution for preventing design rules violations at abutment stage for standard cells synthesis flow. - Sergey Bykov; Nikolai Ryzhenko; Anton Sorokin (EWDTS, 2016)

SAT-Based Placement Adjustment of FinFETs inside Unroutable Standard Cells Targeting Feasible DRC-Clean Routing. - Anton Sorokin; Nikolay Ryzhenko (ACM Great Lakes Symposium on VLSI, 2019)

Pin Access-Driven Design Rule Clean and DFM Optimized Routing of Standard Cells under Boolean Constraints. - Nikolay Ryzhenko; Steven M. Burns; Anton Sorokin; Mikhail Talalay (ISPD, 2019)