A Control Language for Designing Constraint Solvers
Identifieur interne : 000733 ( Istex/Curation ); précédent : 000732; suivant : 000734A Control Language for Designing Constraint Solvers
Auteurs : Carlos Castro [France] ; Eric Monfroy [Pays-Bas]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint filter, separator, and sorter, we define basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving non-linear constraints over real numbers and CSPs over finite domains.
Url:
DOI: 10.1007/3-540-46562-6_36
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000738
Links to Exploration step
ISTEX:20C02DDFED47994A818953C4111698B814670997Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Control Language for Designing Constraint Solvers</title>
<author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name>
<affiliation wicri:level="1"><mods:affiliation>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Carlos.Castro@loria.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name>
<affiliation wicri:level="1"><mods:affiliation>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam, The Netherlands</mods:affiliation>
<country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Eric.Monfroy@cwi.nl</mods:affiliation>
<country wicri:rule="url">Pays-Bas</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:20C02DDFED47994A818953C4111698B814670997</idno>
<date when="2000" year="2000">2000</date>
<idno type="doi">10.1007/3-540-46562-6_36</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-1565HSWJ-V/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000738</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000738</idno>
<idno type="wicri:Area/Istex/Curation">000733</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Control Language for Designing Constraint Solvers</title>
<author><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name>
<affiliation wicri:level="1"><mods:affiliation>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Carlos.Castro@loria.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name>
<affiliation wicri:level="1"><mods:affiliation>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam, The Netherlands</mods:affiliation>
<country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Eric.Monfroy@cwi.nl</mods:affiliation>
<country wicri:rule="url">Pays-Bas</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We propose a strategy language for designing single constraint solvers as well as their collaborations. Based on the notions of constraint filter, separator, and sorter, we define basic strategy operators that allow us to specify single solvers and their collaboration in a uniform way. We exemplify the use of this language by specifying some techniques for solving non-linear constraints over real numbers and CSPs over finite domains.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000733 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 000733 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Curation |type= RBID |clé= ISTEX:20C02DDFED47994A818953C4111698B814670997 |texte= A Control Language for Designing Constraint Solvers }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |