A Control Language for Designing Constraint Solvers
Identifieur interne : 002202 ( Istex/Checkpoint ); précédent : 002201; suivant : 002203A 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
Affiliations:
Links toward previous steps (curation, corpus...)
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>
</author>
<author><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name>
</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>
<idno type="wicri:Area/Istex/Checkpoint">002202</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002202</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="3"><country xml:lang="fr">France</country>
<wicri:regionArea>LORIA-INRIA, BP 101, F-54602, Villers-lès-Nancy Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Villers-lès-Nancy</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><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="3"><country xml:lang="fr">Pays-Bas</country>
<wicri:regionArea>CWI, P.O. Box 94079, NL-1090 GB, Amsterdam</wicri:regionArea>
<placeName><settlement type="city">Amsterdam</settlement>
<region nuts="2" type="province">Hollande-Septentrionale</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><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>
<affiliations><list><country><li>France</li>
<li>Pays-Bas</li>
</country>
<region><li>Grand Est</li>
<li>Hollande-Septentrionale</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Amsterdam</li>
<li>Villers-lès-Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name>
</region>
<name sortKey="Castro, Carlos" sort="Castro, Carlos" uniqKey="Castro C" first="Carlos" last="Castro">Carlos Castro</name>
</country>
<country name="Pays-Bas"><region name="Hollande-Septentrionale"><name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name>
</region>
<name sortKey="Monfroy, Eric" sort="Monfroy, Eric" uniqKey="Monfroy E" first="Eric" last="Monfroy">Eric Monfroy</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002202 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd -nk 002202 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Checkpoint |type= RBID |clé= ISTEX:20C02DDFED47994A818953C4111698B814670997 |texte= A Control Language for Designing Constraint Solvers }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |