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

Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbitrary domain-specific constraint solvers. Through its modular structure and its extensible strategy specification language it also serves as a test-bed for generic and problem-specific (meta-)solving strategies, which are employed to minimize the cooperation overhead incurred. This paper introduces Meta-S, focusing on its strategy-related aspects.

• Type: Conference
• Year: 2003
• Where: FLAIRS
• Authors: Stephan Frank, Petra Hofstedt, Pierre R. Mai
• Keywords: Arbitrary Domain-specific Constraint, Artificial Intelligence, Extensible Strategy Specification, FLAIRS 2003, Paper Introduces Meta-s