Basic operators for solving constraints via collaboration of solvers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1930, pages 142-156, 2001. abstract bibtex © Springer-Verlag Berlin Heidelberg 2001.In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this language by describing some well known techniques for solving constraints over finite domains and non-linear constraints over real numbers via collaboration of solvers.
@inproceedings{84974708329,
abstract = "© Springer-Verlag Berlin Heidelberg 2001.In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this language by describing some well known techniques for solving constraints over finite domains and non-linear constraints over real numbers via collaboration of solvers.",
year = "2001",
title = "Basic operators for solving constraints via collaboration of solvers",
volume = "1930",
pages = "142-156",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"
}
Downloads: 0
{"_id":"vczoAk5SLaQtJfm9g","bibbaseid":"anonymous-basicoperatorsforsolvingconstraintsviacollaborationofsolvers-2001","downloads":0,"creationDate":"2017-03-31T20:15:32.850Z","title":"Basic operators for solving constraints via collaboration of solvers","author_short":null,"year":2001,"bibtype":"inproceedings","biburl":"https://1fichier.com/?j9cpurkmnv","bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"© Springer-Verlag Berlin Heidelberg 2001.In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this language by describing some well known techniques for solving constraints over finite domains and non-linear constraints over real numbers via collaboration of solvers.","year":"2001","title":"Basic operators for solving constraints via collaboration of solvers","volume":"1930","pages":"142-156","booktitle":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","bibtex":"@inproceedings{84974708329,\n abstract = \"© Springer-Verlag Berlin Heidelberg 2001.In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this language by describing some well known techniques for solving constraints over finite domains and non-linear constraints over real numbers via collaboration of solvers.\",\n year = \"2001\",\n title = \"Basic operators for solving constraints via collaboration of solvers\",\n volume = \"1930\",\n pages = \"142-156\",\n booktitle = \"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\"\n}\n\n","key":"84974708329","id":"84974708329","bibbaseid":"anonymous-basicoperatorsforsolvingconstraintsviacollaborationofsolvers-2001","urls":{},"downloads":0,"html":""},"search_terms":["basic","operators","solving","constraints","via","collaboration","solvers"],"keywords":[],"authorIDs":[],"dataSources":["gKiCRHjjC2iGthGEx"]}