The top documents tagged [maximizing state abstraction]