Peter Kissmann, Stefan Edelkamp. Layer-Abstraction for Symbolically Solving General Two-Player Games. In Ariel Felner, Nathan R. Sturtevant, editors, Proceedings of the Third Annual Symposium on Combinatorial Search, SOCS 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010. pages 63-70, AAAI Press, 2010. [doi]
Abstract is missing.