Dmitry Ya. Novikov

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Optimization Methods

Face Verification

Top Venues

Autom. Control. Comput. Sci.

Publications

Dmitry Ya. Novikov, Liudmila D. Cheremisinova
Investigation of simulation-based verification methods for descriptions with functional indeterminacy. Autom. Control. Comput. Sci. 46 (5) (2012)
Dmitry Ya. Novikov, Liudmila D. Cheremisinova
Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. Autom. Control. Comput. Sci. 45 (4) (2011)
Liudmila D. Cheremisinova, Dmitry Ya. Novikov
SAT-based group method for verification of logical descriptions with functional indeterminacy. EWDTS (2010)
Liudmila D. Cheremisinova, Dmitry Ya. Novikov
Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form. Autom. Control. Comput. Sci. 44 (1) (2010)