Search dblp for Publications

export results for "toc:db/journals/constraints/constraints25.bht:"

 download as .bib file

@article{DBLP:journals/constraints/ArafailovaBS20,
  author       = {Ekaterina Arafailova and
                  Nicolas Beldiceanu and
                  Helmut Simonis},
  title        = {Invariants for time-series constraints},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {71--120},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09308-z},
  doi          = {10.1007/S10601-020-09308-Z},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/ArafailovaBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/AudemardBLPR20,
  author       = {Gilles Audemard and
                  Fr{\'{e}}d{\'{e}}ric Boussemart and
                  Christophe Lecoutre and
                  C{\'{e}}dric Piette and
                  Olivier Roussel},
  title        = {XCSP\({}^{\mbox{3}}\) and its ecosystem},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {1-2},
  pages        = {47--69},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-019-09307-9},
  doi          = {10.1007/S10601-019-09307-9},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/AudemardBLPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/BenediktMH20,
  author       = {Ondrej Benedikt and
                  Istv{\'{a}}n M{\'{o}}dos and
                  Zdenek Hanz{\'{a}}lek},
  title        = {Power of pre-processing: production scheduling with variable energy
                  pricing and power-saving states},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {300--318},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09317-y},
  doi          = {10.1007/S10601-020-09317-Y},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/BenediktMH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/GonzalezCLR20,
  author       = {Jaime E. Gonz{\'{a}}lez and
                  Andr{\'{e}} Augusto Cir{\'{e}} and
                  Andrea Lodi and
                  Louis{-}Martin Rousseau},
  title        = {Integrated integer programming and decision diagram search tree with
                  an application to the maximum independent set problem},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {1-2},
  pages        = {23--46},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-019-09306-w},
  doi          = {10.1007/S10601-019-09306-W},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GonzalezCLR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/GotoM20,
  author       = {Hiroyuki Goto and
                  Alan T. Murray},
  title        = {Exact and flexible solution approach to a critical chain project management
                  problem},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {280--297},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09314-1},
  doi          = {10.1007/S10601-020-09314-1},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GotoM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/HasanH20,
  author       = {Mohd. Hafiz Hasan and
                  Pascal Van Hentenryck},
  title        = {The flexible and real-time commute trip sharing problems},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {160--179},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09310-5},
  doi          = {10.1007/S10601-020-09310-5},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/HasanH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/HebrardM20,
  author       = {Emmanuel Hebrard and
                  Nysret Musliu},
  title        = {Introduction to the {CPAIOR} 2020 fast track issue},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {298--299},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09319-w},
  doi          = {10.1007/S10601-020-09319-W},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/HebrardM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/OmraniN20,
  author       = {Mohamed Amine Omrani and
                  Wady Naanaa},
  title        = {Constraints for generating graphs with imposed and forbidden patterns:
                  an application to molecular graphs},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {1-2},
  pages        = {1--22},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-019-09305-x},
  doi          = {10.1007/S10601-019-09305-X},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/OmraniN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/TchindaD20,
  author       = {Rodrigue Konan Tchinda and
                  Cl{\'{e}}mentin Tayou Djam{\'{e}}gni},
  title        = {On certifying the {UNSAT} result of dynamic symmetry-handling-based
                  {SAT} solvers},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {251--279},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09313-2},
  doi          = {10.1007/S10601-020-09313-2},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/TchindaD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/TsourosS20,
  author       = {Dimosthenis C. Tsouros and
                  Kostas Stergiou},
  title        = {Efficient multiple constraint acquisition},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {180--225},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09311-4},
  doi          = {10.1007/S10601-020-09311-4},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/TsourosS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/TveretinaZS20,
  author       = {Olga Tveretina and
                  Pavel Zaichenkov and
                  Alex Shafarenko},
  title        = {Non-local configuration of component interfaces by constraint satisfaction},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {121--159},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09309-y},
  doi          = {10.1007/S10601-020-09309-Y},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/TveretinaZS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/VerhaegheNPQS20,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Siegfried Nijssen and
                  Gilles Pesant and
                  Claude{-}Guy Quimper and
                  Pierre Schaus},
  title        = {Learning optimal decision trees using constraint programming},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {226--250},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09312-3},
  doi          = {10.1007/S10601-020-09312-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/VerhaegheNPQS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/WallaceY20,
  author       = {Mark Wallace and
                  Neil Yorke{-}Smith},
  title        = {A new constraint programming model and solving for the cyclic hoist
                  scheduling problem},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {319--337},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09316-z},
  doi          = {10.1007/S10601-020-09316-Z},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/WallaceY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.