Development and analysis of algorithms for the satisfiability problem and its generalizations based on L-partition

More works in this specialty

1. Modeling and optimization of the structure of an information resource

   Zhukova, Svetlana Aleksandrovna · 2008 · Candidate of Sciences · Izhevsk State Technical University

   • 05.13.01 Systems analysis, control and information processing (by industry)
2. Methods for managing spare property of the local Civil Defense warning system

   Kolesnikov, Yaroslav Aleksandrovich · 2007 · Candidate of Sciences · Russian Academy of Public Service under the President of the Russian Federation

   • 05.13.01 Systems analysis, control and information processing (by industry)
3. Biomonitoring of chemical weapons destruction facilities using an identification test site

   Yannikov, Igor Mikhaylovich · 2007 · Candidate of Sciences

   • 05.13.01 Systems analysis, control and information processing (by industry)
   • 03.00.16
4. Formation of the information basis of automated training systems

   Yarkova, Svetlana Anatolyevna · 2007 · Candidate of Sciences · Siberian Aerospace Academy named after M.F. Reshetnev

   • 05.13.01 Systems analysis, control and information processing (by industry)
5. Intellectualization of the process of diagnosing the stage of osteoporosis based on statistical, neural-network, and expert modeling

   Zhurova, Olga Viktorovna · 2007 · Candidate of Sciences

   • 05.13.01 Systems analysis, control and information processing (by industry)

All works in this specialty