Sciweavers

6 search results - page 2 / 2
» wlp 2005
Sort
View
93
Voted
WLP
2005
Springer
15 years 3 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