Fomina Viktoriia
| Student | Fomina Viktoriia |
|---|---|
| Main field of study | 09.04.04 Software Engineering |
| Qualification | Master |
| Title | Development of a MaxSMT solver supporting portfolio mode |
| Status | Published |
| Editor | Candidate of Engineering Iu.V.Litvinov |
| Year | 2024 |
| Student | Fomina Viktoriia |
|---|---|
| Main field of study | 09.04.04 Software Engineering |
| Qualification | Master |
| Title | Development of a MaxSMT solver supporting portfolio mode |
| Status | Published |
| Editor | Candidate of Engineering Iu.V.Litvinov |
| Year | 2024 |