problem independent heuristics
documentation
update doc