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

More works in this specialty

1. Modeling and algorithmization of rational treatment and functioning of the urology department of a multidisciplinary hospital

   Shchukin, Aleksandr Vasilyevich · Candidate of Sciences

   • 05.13.01 Systems analysis, control and information processing (by industry)
2. Information systems for environmental monitoring of chemical industry enterprises based on data warehouse technologies

   Kolybanov, Kirill Yuryevich · Doctor of Sciences · M.V. Lomonosov Moscow State Academy of Fine Chemical Technology

   • 05.13.01 Systems analysis, control and information processing (by industry)
3. Coordinated stable-efficient optimization compromises of hierarchical control systems in a two-level multichannel guidance-stabilization system of an aircraft

   Vanin, Alexander Viktorovich · 2016 · Candidate of Sciences · Bauman Moscow State Technical University

   • 05.13.01 Systems analysis, control and information processing (by industry)
4. Algorithm for forming the background-target environment in a surveillance radar

   Kondrashov, Kirill Sergeyevich · 2016 · Candidate of Sciences · Bauman Moscow State Technical University

   • 05.13.01 Systems analysis, control and information processing (by industry)
5. Mathematical models and methods for optimizing hydroacoustic shielding systems for underwater vehicles

   Zyong, Min' Khai · 2016 · Candidate of Sciences · Scientific Research and Experimental Institute of Automotive Electronics and Electrical Equipment

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

All works in this specialty