Original language | English |
---|---|
Journal | Artificial Intelligence |
Volume | 170 |
Issue number | 12-13 |
Pages (from-to) | 1031-1080 |
ISSN | 0004-3702 |
DOIs | |
Publication status | Published - 2006 |
Externally published | Yes |
MoE publication type | A1 Journal article-refereed |
Fields of Science
- Complexity
- Planning
- Satisfiability