Kulikov Aleksandr Leonidovich, was born 25.02.1961, Gorky (Nizhny Novgorod), USSR. In 1982 he graduated from the Gorky Higher Anti-Aircraft Missile Command School of Air Defense, and then in 1992 the ...
The reduction to CNF-SAT is described in [Kojevnikov, Kulikov, Yaroslavtsev. Finding Efficient Circuits Using SAT-Solvers. SAT 2009. (DOI)]. See also [D. E. Knuth, The Art of Computer Programming, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback