( en | de | ru )

 

Disambiguation of "Barták, Roman"

Author of the publication

copydeleteadd this publication to your clipboard
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.

, and . PADL, volume 9585 of Lecture Notes in Computer Science, page 3-12. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Bartak

Joachim Bartak

Adalbert Bartak

Claus Wagner-Bartak

Olga Romanow

 

Other publications of authors with the same name

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain., , , , and . Sci. Comput. Program., (2017)Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints., and . ICAART (2), page 119-130. SciTePress, (2015)The Benefit of Control Knowledge and Heuristics During Search in Planning., and . ICAART (2), page 552-559. SciTePress, (2016)Planning as Tabled Logic Programming., , and . CoRR, (2015)Modelling Alternatives in Temporal Networks., , and . CISched, page 129-136. IEEE, (2007)Preface to special issue on Knowledge Engineering for Planning and Scheduling., , and . Knowledge Eng. Review, 28 (2): 117-119 (2013)Nested temporal networks with alternatives: recognition and tractability., and . SAC, page 156-157. ACM, (2008)MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises., , and . SOFSEM, volume 7147 of Lecture Notes in Computer Science, page 600-611. Springer, (2012)On modeling planning problems in tabled logic programming., , and . PPDP, page 31-42. ACM, (2015)A Constraint-Based Planner for Mars Express Orbiter., and . MICAI (2), volume 8857 of Lecture Notes in Computer Science, page 451-463. Springer, (2014)