Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/fuin/NiewiadomskiSPSJ14
%A Niewiadomski, Artur
%A Skaruz, Jaroslaw
%A Penczek, Wojciech
%A Szreter, Maciej
%A Jarocki, Mariusz
%D 2014
%J Fundam. Informaticae
%K dblp
%N 4
%P 451-466
%T SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
%U http://dblp.uni-trier.de/db/journals/fuin/fuin135.html#NiewiadomskiSPSJ14
%V 135
@article{journals/fuin/NiewiadomskiSPSJ14,
added-at = {2020-09-18T00:00:00.000+0200},
author = {Niewiadomski, Artur and Skaruz, Jaroslaw and Penczek, Wojciech and Szreter, Maciej and Jarocki, Mariusz},
biburl = {https://www.bibsonomy.org/bibtex/2e2f96d6c610d5c6c5cf04c748d23bdee/dblp},
ee = {https://doi.org/10.3233/FI-2014-1134},
interhash = {d3370a476b02581ff5162156dd12fac5},
intrahash = {e2f96d6c610d5c6c5cf04c748d23bdee},
journal = {Fundam. Informaticae},
keywords = {dblp},
number = 4,
pages = {451-466},
timestamp = {2020-09-19T11:34:57.000+0200},
title = {SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.},
url = {http://dblp.uni-trier.de/db/journals/fuin/fuin135.html#NiewiadomskiSPSJ14},
volume = 135,
year = 2014
}