Daniel Toropila

According to our database, Daniel Toropila authored at least 10 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Yet more planning efficiency: Finite-domain state-variable reformulation.

Filip Dvorak, Daniel Toropila, Roman Barták

J. Exp. Theor. Artif. Intell., 2015

2013

Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation.

Filip Dvorak, Daniel Toropila, Roman Barták

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

2012

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems.

Daniel Toropila, Filip Dvorak, Otakar Trunda, Martin Hanes, Roman Barták

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

When Planning Should Be Easy: On Solving Cumulative Planning Problems.

Roman Barták, Filip Dvorak, Jakub Gemrot, Cyril Brom, Daniel Toropila

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2010

Solving Sequential Planning Problems via Constraint Satisfaction.

Roman Barták, Daniel Toropila

Fundam. Informaticae, 2010

2009

Integrating Constraint Models for Sequential and Partial-Order Planning.

Roman Barták, Daniel Toropila

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Revisiting Constraint Models for Planning Problems.

Roman Barták, Daniel Toropila

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Enhancing Constraint Models for Planning Problems.

Roman Barták, Daniel Toropila

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Constraint Models for Sequential Planning.

Roman Barták, Daniel Toropila

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Reformulating Constraint Models for Classical Planning.

Roman Barták, Daniel Toropila

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008