BDD-Based Incremental Heuristic Search

DOI10.3724/SP.J.1001.2009.03563zbMath1212.68288MaRDI QIDQ3054245

Yanyan Xu, Weiya Yue

Publication date: 5 November 2010

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

heuristic searchincremental searchreplanningbinary decision diagram

Mathematics Subject Classification ID

Searching and sorting (68P10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: BDD-Based Incremental Heuristic Search