Для цитирования:

ФОМИНА В.В., СОБОЛЬ В., КОЗНОВ Д.В. MaxSMT-решатель, поддерживающий режим портфолио. Труды Института системного программирования РАН. 2025;37(4):177-188. https://doi.org/10.15514/ISPRAS-2025-37(4)-10

For citation:

FOMINA V.V., SOBOL V., KOZNOV D.V. MaxSMT solver with portfolio mode support. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(4):177-188. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(4)-10