Piotr Switalski

Available identifiers

zbMath Open switalski.piotrMaRDI QIDQ600837

List of research outcomes

Publication	Date of Publication	Type
Applying Modern SAT-solvers to Solving Hard Problems	2019-05-24	Paper
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME	2019-02-08	Paper
Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*	2017-11-09	Paper
Scheduling parallel batch jobs in grids with evolutionary metaheuristics	2015-11-12	Paper
An effective multiprocessor scheduling with use of GEO metaheuristic	2012-08-30	Paper
Multiprocessor scheduling by generalized extremal optimization	2010-11-03	Paper

Research outcomes over time

This page was built for person: Piotr Switalski