Práce na stejné téma (mají shodná klíčová slova):

parallel solvers

Klíčová slova abecedně | Klíčová slova dle četnosti

Massively Parallel Quadratic Programming Solvers with Applications in Mechanics
 (Václav Hapla)

2016, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/112271 | Informatika, komunikační technologie a aplikovaná matematika / Výpočetní a aplikovaná matematika | Práce na příbuzné téma

Paralelní volání SMT solverů v nástroji Bugst
 (Viktor Toman)

2014, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/uy033/ | Informatika / Matematická informatika | Práce na příbuzné téma