default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/constraints/constraints9.bht:"
download as .bib file
@article{DBLP:journals/constraints/Bennaceur04,
author = {Hachemi Bennaceur},
title = {A Comparison between {SAT} and {CSP} Techniques},
journal = {Constraints An Int. J.},
volume = {9},
number = {2},
pages = {123--138},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000024048.03454.c0},
doi = {10.1023/B:CONS.0000024048.03454.C0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Bennaceur04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BhavaniP04,
author = {S. Durga Bhavani and
Arun K. Pujari},
title = {EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm},
journal = {Constraints An Int. J.},
volume = {9},
number = {3},
pages = {193--218},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000036022.69023.26},
doi = {10.1023/B:CONS.0000036022.69023.26},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BhavaniP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Cohen04,
author = {David A. Cohen},
title = {Tractable Decision for a Constraint Language Implies Tractable Search},
journal = {Constraints An Int. J.},
volume = {9},
number = {3},
pages = {219--229},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000036045.82829.94},
doi = {10.1023/B:CONS.0000036045.82829.94},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Cohen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Condotta04,
author = {Jean{-}Fran{\c{c}}ois Condotta},
title = {A General Qualitative Framework for Temporal and Spatial Reasoning},
journal = {Constraints An Int. J.},
volume = {9},
number = {2},
pages = {99--121},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000024047.02149.64},
doi = {10.1023/B:CONS.0000024047.02149.64},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Condotta04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DovierPP04,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli},
title = {Disunification in \emph{ACI}1 Theories},
journal = {Constraints An Int. J.},
volume = {9},
number = {1},
pages = {35--91},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000006182.84033.6e},
doi = {10.1023/B:CONS.0000006182.84033.6E},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DovierPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FagesSC04,
author = {Fran{\c{c}}ois Fages and
Sylvain Soliman and
R{\'{e}}mi Coolen},
title = {{CLPGUI:} {A} Generic Graphical User Interface for Constraint Logic
Programming},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {241--262},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049203.53383.c1},
doi = {10.1023/B:CONS.0000049203.53383.C1},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/FagesSC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FargierV04,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Marie{-}Catherine Vilarem},
title = {Compiling CSPs into Tree-Driven Automata for Interactive Solving},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {263--287},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049204.75635.7e},
doi = {10.1023/B:CONS.0000049204.75635.7E},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/FargierV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GaultJ04,
author = {Richard Gault and
Peter Jeavons},
title = {Implementing a Test for Tractability},
journal = {Constraints An Int. J.},
volume = {9},
number = {2},
pages = {139--160},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000024049.41091.71},
doi = {10.1023/B:CONS.0000024049.41091.71},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GaultJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GodoyN04,
author = {Guillem Godoy and
Robert Nieuwenhuis},
title = {Constraint Solving for Term Orderings Compatible with Abelian Semigroups,
Monoids and Groups},
journal = {Constraints An Int. J.},
volume = {9},
number = {3},
pages = {167--192},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000036021.31386.cc},
doi = {10.1023/B:CONS.0000036021.31386.CC},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/GodoyN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/OSullivan04,
author = {Barry O'Sullivan},
title = {Introduction to the Special Issue on User-Interaction in Constraint
Satisfaction},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {239--240},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049262.04178.a8},
doi = {10.1023/B:CONS.0000049262.04178.A8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/OSullivan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PuF04,
author = {Pearl Pu and
Boi Faltings},
title = {Decision Tradeoff Using Example-Critiquing and Constraint Programming},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {289--310},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049205.05581.24},
doi = {10.1023/B:CONS.0000049205.05581.24},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/PuF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/RossiS04,
author = {Francesca Rossi and
Alessandro Sperduti},
title = {Acquiring Both Constraint and Solution Preferences in Interactive
Constraint Systems},
journal = {Constraints An Int. J.},
volume = {9},
number = {4},
pages = {311--332},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000049206.43218.5f},
doi = {10.1023/B:CONS.0000049206.43218.5F},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/RossiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/WallaceSSH04,
author = {Mark Wallace and
Joachim Schimpf and
Kish Shen and
Warwick Harvey},
title = {On Benchmarking Constraint Logic Programming Platforms. Response to
Fernandez and Hill's "A Comparative Study of Eight Constraint Programming
Languages over the Boolean and Finite Domains"},
journal = {Constraints An Int. J.},
volume = {9},
number = {1},
pages = {5--34},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000006181.40558.37},
doi = {10.1023/B:CONS.0000006181.40558.37},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/WallaceSSH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-06 22:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
