Using Tabled Logic Programming to Solve the Petrobras Planning Problem

DOI10.1017/S1471068414000295zbMath1309.68171arXiv1405.2501MaRDI QIDQ2931274

Roman Barták, Neng-Fa Zhou

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.2501

zbMATH Keywords

planningsymmetry breakingpattern matchingtablinglogisticsPicatresource-bounded search

Mathematics Subject Classification ID

Transportation, logistics and supply chain management (90B06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

Planning as tabled logic programming

This page was built for publication: Using Tabled Logic Programming to Solve the Petrobras Planning Problem