Doctoral Schools WUT

Search Engine for Promoters and Research Areas

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.