Meta-S: A Strategy-Oriented Meta-Solver Framework.

Stephan Frank, Petra Hofstedt, Pierre R. Mai

Browse the full FlAIRS paper archive.