Sciweavers

2 search results - page 1 / 1
» Meta-S: A Strategy-Oriented Meta-Solver Framework
Sort
View
FLAIRS
2003
13 years 8 months ago
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 arbitr...
Stephan Frank, Petra Hofstedt, Pierre R. Mai
WLP
2005
Springer
14 years 27 days ago
Meta-S - Combining Solver Cooperation and Programming Languages
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
Stephan Frank, Petra Hofstedt, Dirk Reckmann