Gorsky S.A.

Multiagent technology for parallel implementation of Boolean constraint method … Service-oriented application for parallel solving the parametric synthesis feed… Distributed solvers of applied problems based on microservices and agent networ… Automation Development Framework of Scalable Scientific Web Applications Based … Microservice-oriented Approach to Automation of Distributed Scientific Computat… Support for managing the resilience of energy systems based on a combinatorial … Scalable parallel solver of Boolean satisfiability problems