Return to Article Details Layer-Abstraction for Symbolically Solving General Two-Player Games Download Download PDF