TY  - RPRT
TI  - Using Tabled Logic Programming to Solve the Petrobras Planning Problem
AU  - Roman Barták
AU  - Neng-Fa Zhou
PY  - 2014
UR  - https://arxiv.org/abs/1405.2501
ID  - 1405.2501
ER  -