Experiments for encoding graphs into (MT)BDDs