A two-level parallel Datalog evaluator for lifted planning solves more tasks than baselines on one core and delivers up to 6x speedup on 8 cores for tasks where Datalog dominates runtime.
B.; Franc \`e s, G.; Pommerening, F.; and Helmert, M
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Parallel Lifted Planning via Semi-Naive Datalog Evaluation
A two-level parallel Datalog evaluator for lifted planning solves more tasks than baselines on one core and delivers up to 6x speedup on 8 cores for tasks where Datalog dominates runtime.