Piotr Switalski

From MaRDI portal
Person:600837


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Applying modern SAT-solvers to solving hard problems
Fundamenta Informaticae
2019-05-24Paper
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
Scientific Annals of Computer Science
2019-02-08Paper
Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing
Fundamenta Informaticae
2017-11-09Paper
Scheduling parallel batch jobs in grids with evolutionary metaheuristics
Journal of Scheduling
2015-11-12Paper
An effective multiprocessor scheduling with use of GEO metaheuristic
International Journal of Foundations of Computer Science
2012-08-30Paper
Multiprocessor scheduling by generalized extremal optimization
Journal of Scheduling
2010-11-03Paper


Research outcomes over time


This page was built for person: Piotr Switalski