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

@inproceedings{Frank2003MetaSAS,
  title={Meta-S: A Strategy-Oriented Meta-Solver Framework},
  author={Stephan Frank and Petra Hofstedt and Pierre R. Mai},
  booktitle={FLAIRS Conference},
  year={2003}
}
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Open CFLP: An Open System for Collaborative Constraint Functional Logic Programming

N. Kobayashi, M. Marin, T. Ida, Z. Che
WFLP’2002. • 2002
View 1 Excerpt

Similar Papers

Loading similar papers…