TY - CONF A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - System Description: Meta-S. Combining Solver Cooperation and programming Languages Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/6077 ER -