Building ATMR circuits using approximate library and heuristic approaches | Publicación