BDD Ordering Heuristics for Classical Planning (Q2938478)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | BDD Ordering Heuristics for Classical Planning |
scientific article |
Statements
BDD Ordering Heuristics for Classical Planning (English)
0 references
14 January 2015
0 references
BDDs
0 references
variable ordering
0 references
classical planning
0 references
