Secondly, the thesis examines in detail two types of real-time search enhancements, back-tracking and value back-propagation.
Hins vegar skoðum við í ritgerðinni ítarlega tvær tegundir betrumbóta á rauntíma aðferðum, þ.e. rakningu og upplýsingaútbreiðslu.