Sciweavers

2 search results - page 1 / 1
» Meta-S: A Strategy-Oriented Meta-Solver Framework
Sort
View
74
Voted
FLAIRS
2003
15 years 8 days 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
100
Voted
WLP
2005
Springer
15 years 4 months 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