Wykaz obszarów badawczych związanych z tagiem Weryfikacja-formalna:
| # | Obszar badawczy | Dziedzina naukowa |
|---|---|---|
| 1 |
Discrete optimisation
Discrete optimisation algorithms design and complexity analysis
Generating and counting combinatorial objects
Modeling practical problems such as resource allocation, goods divisions, job scheduling, program verification, cybersecurity with logic programs and mixedinteger programs.
|