%0 Conference Paper %1 conf/padl/JelinekB16 %A Jelínek, Jan %A Barták, Roman %B PADL %D 2016 %E Gavanelli, Marco %E Reppy, John H. %I Springer %K dblp %P 3-12 %T Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. %U http://dblp.uni-trier.de/db/conf/padl/padl2016.html#JelinekB16 %V 9585 %@ 978-3-319-28227-5

@inproceedings{conf/padl/JelinekB16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Jelínek, Jan and Barták, Roman}, biburl = {https://www.bibsonomy.org/bibtex/2f0574f9c69c28b28546ff06978279cce/dblp}, booktitle = {PADL}, crossref = {conf/padl/2016}, editor = {Gavanelli, Marco and Reppy, John H.}, ee = {https://doi.org/10.1007/978-3-319-28228-2_1}, interhash = {f2c37360927f220648102b67c290287f}, intrahash = {f0574f9c69c28b28546ff06978279cce}, isbn = {978-3-319-28227-5}, keywords = {dblp}, pages = {3-12}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:45:04.000+0200}, title = {Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2016.html#JelinekB16}, volume = 9585, year = 2016 }