20121224 meeting standard cell routing via boolean satisfiability_mori ver
20130415 meeting mori_monotonic current paths
20130108 ast signature based boolean matching in the presence of don’t cares_mori