Search 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}
}