Reformulating Constraint Models for Classical Planning. - Roman Barták; Daniel Toropila (FLAIRS, 2008)

Constraint Models for Sequential Planning. - Roman Barták; Daniel Toropila (CPAIOR, 2009)

Enhancing Constraint Models for Planning Problems. - Roman Barták; Daniel Toropila (FLAIRS, 2009)

Revisiting Constraint Models for Planning Problems. - Roman Barták; Daniel Toropila (ISMIS, 2009)

Integrating Constraint Models for Sequential and Partial-Order Planning. - Roman Barták; Daniel Toropila (SARA, 2009)

Solving Sequential Planning Problems via Constraint Satisfaction. - Roman Barták; Daniel Toropila (Fundam. Informaticae, 2010)

When Planning Should Be Easy: On Solving Cumulative Planning Problems. - Roman Barták; Filip Dvorák; Jakub Gemrot; Cyril Brom; Daniel Toropila (FLAIRS, 2012)

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. - Daniel Toropila; Filip Dvorák; Otakar Trunda; Martin Hanes; Roman Barták (ICTAI, 2012)

Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation. - Filip Dvorák; Daniel Toropila; Roman Barták (SARA, 2013)

Yet more planning efficiency: Finite-domain state-variable reformulation. - Filip Dvorák; Daniel Toropila; Roman Barták (J. Exp. Theor. Artif. Intell., 2015)