Fast inexact mapping using advanced tree exploration on backward search methods. Issue 1 (December 2015)