Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/constraints/constraints21.bht:"
download as .bib file
@article{DBLP:journals/constraints/Bankovic16,
author = {Milan Bankovic},
title = {Extending {SMT} solvers with support for finite domain alldifferent
constraint},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {463--494},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9232-8},
doi = {10.1007/S10601-015-9232-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Bankovic16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDS16,
author = {Nicolas Beldiceanu and
Mats Carlsson and
R{\'{e}}mi Douence and
Helmut Simonis},
title = {Using finite transducers for describing and synthesising structural
time-series constraints},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {22--40},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9200-3},
doi = {10.1007/S10601-015-9200-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BergmanC16,
author = {David Bergman and
Andr{\'{e}} Augusto Cir{\'{e}}},
title = {Theoretical insights and algorithmic tools for decision diagram-based
optimization},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {533--556},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9239-9},
doi = {10.1007/S10601-016-9239-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BergmanC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CarbonnelC16,
author = {Cl{\'{e}}ment Carbonnel and
Martin C. Cooper},
title = {Tractability in constraint satisfaction problems: a survey},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {115--144},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9198-6},
doi = {10.1007/S10601-015-9198-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/CarbonnelC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CodishFIM16,
author = {Michael Codish and
Michael Frank and
Avraham Itzhakov and
Alice Miller},
title = {Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry
breaking},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {375--393},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9240-3},
doi = {10.1007/S10601-016-9240-3},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/CodishFIM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DemsRF16,
author = {Amira Dems and
Louis{-}Martin Rousseau and
Jean{-}Marc Frayret},
title = {A hybrid constraint programming approach to a wood procurement problem
with bucking decisions},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {303--317},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9196-8},
doi = {10.1007/S10601-015-9196-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DemsRF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/FagesLR16,
author = {Jean{-}Guillaume Fages and
Xavier Lorca and
Louis{-}Martin Rousseau},
title = {The salesman and the tree: the importance of search in {CP}},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {145--162},
year = {2016},
url = {https://doi.org/10.1007/s10601-014-9178-2},
doi = {10.1007/S10601-014-9178-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/FagesLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GasperoRU16,
author = {Luca Di Gaspero and
Andrea Rendl and
Tommaso Urli},
title = {Balancing bike sharing systems with constraint programming},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {318--348},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9182-1},
doi = {10.1007/S10601-015-9182-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GasperoRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GauthierL16,
author = {Jean Bertrand Gauthier and
Antoine Legrain},
title = {Operating room management under uncertainty},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {577--596},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9236-4},
doi = {10.1007/S10601-015-9236-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GauthierL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GraouiBB16,
author = {El Mehdi El Graoui and
Imade Benelallam and
El{-}Houssine Bouyakhf},
title = {A commentary on "Hybrid search for minimal perturbation in Dynamic
CSPs"},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {349--354},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9205-y},
doi = {10.1007/S10601-015-9205-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GraouiBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hooker16,
author = {John N. Hooker},
title = {Projection, consistency, and George Boole},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {59--76},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9201-2},
doi = {10.1007/S10601-015-9201-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hooker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HurleyOAKSZG16,
author = {Barry Hurley and
Barry O'Sullivan and
David Allouche and
George Katsirelos and
Thomas Schiex and
Matthias Zytnicki and
Simon de Givry},
title = {Multi-language evaluation of exact solvers in graphical model discrete
optimization},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {413--434},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9245-y},
doi = {10.1007/S10601-016-9245-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HurleyOAKSZG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/IgnatievJM16,
author = {Alexey Ignatiev and
Mikol{\'{a}}s Janota and
Jo{\~{a}}o Marques{-}Silva},
title = {Quantified maximum satisfiability},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {277--302},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9195-9},
doi = {10.1007/S10601-015-9195-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/IgnatievJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ItzhakovC16,
author = {Avraham Itzhakov and
Michael Codish},
title = {Breaking symmetries in graph search with canonizing sets},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {357--374},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9244-z},
doi = {10.1007/S10601-016-9244-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ItzhakovC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/IvriiMMV16,
author = {Alexander Ivrii and
Sharad Malik and
Kuldeep S. Meel and
Moshe Y. Vardi},
title = {On computing minimal independent support and its applications to sampling
and counting},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {41--58},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9204-z},
doi = {10.1007/S10601-015-9204-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/IvriiMMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Jaulin16,
author = {Luc Jaulin},
title = {Range-only {SLAM} with indistinguishable landmarks; a constraint programming
approach},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {557--576},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9231-9},
doi = {10.1007/S10601-015-9231-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Jaulin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KilbyU16,
author = {Philip Kilby and
Tommaso Urli},
title = {Fleet design optimisation from historical data using constraint programming
and large neighbourhood search},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {2--21},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9203-0},
doi = {10.1007/S10601-015-9203-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/KilbyU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KoricheLPT16,
author = {Fr{\'{e}}d{\'{e}}ric Koriche and
Sylvain Lagrue and
{\'{E}}ric Piette and
S{\'{e}}bastien Tabary},
title = {General game playing with stochastic {CSP}},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {95--114},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9199-5},
doi = {10.1007/S10601-015-9199-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/KoricheLPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LamH16,
author = {Edward Lam and
Pascal Van Hentenryck},
title = {A branch-and-price-and-check model for the vehicle routing problem
with location congestion},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {394--412},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9241-2},
doi = {10.1007/S10601-016-9241-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/LamH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LiffitonPMM16,
author = {Mark H. Liffiton and
Alessandro Previti and
Ammar Malik and
Jo{\~{a}}o Marques{-}Silva},
title = {Fast, flexible {MUS} enumeration},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {223--250},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9183-0},
doi = {10.1007/S10601-015-9183-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LiffitonPMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LombardiG16,
author = {Michele Lombardi and
Stefano Gualandi},
title = {A lagrangian propagator for artificial neural networks in constraint
programming},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {435--462},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9234-6},
doi = {10.1007/S10601-015-9234-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LombardiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LoongKB16,
author = {Chee Loong Soon and
Wen{-}Yang Ku and
J. Christopher Beck},
title = {{\(\mathbb{Q}\)}-bounds consistency for the spread constraint with
variable mean},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {646--652},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9238-x},
doi = {10.1007/S10601-016-9238-X},
timestamp = {Fri, 17 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/LoongKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NabliMFS16,
author = {Faten Nabli and
Thierry Martinez and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {On enumerating minimal siphons in Petri nets using {CLP} and {SAT}
solvers: theoretical and practical complexity},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {251--276},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9190-1},
doi = {10.1007/S10601-015-9190-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/NabliMFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/NarodytskaPSW16,
author = {Nina Narodytska and
Thierry Petit and
Mohamed Siala and
Toby Walsh},
title = {Three generalizations of the {FOCUS} constraint},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {495--532},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9233-7},
doi = {10.1007/S10601-015-9233-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/NarodytskaPSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/OrenW16,
author = {Yossef Oren and
Avishai Wool},
title = {Side-channel cryptographic attacks using pseudo-boolean optimization},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {616--645},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9237-3},
doi = {10.1007/S10601-015-9237-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/OrenW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PaparrizouS16,
author = {Anastasia Paparrizou and
Kostas Stergiou},
title = {Strong local consistency algorithms for table constraints},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {163--197},
year = {2016},
url = {https://doi.org/10.1007/s10601-014-9179-1},
doi = {10.1007/S10601-014-9179-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/PaparrizouS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Quimper16,
author = {Claude{-}Guy Quimper},
title = {Introduction to the fast track issue for {CPAIOR} 2016},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {355--356},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9246-x},
doi = {10.1007/S10601-016-9246-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/Quimper16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ShishmarevMTB16,
author = {Maxim Shishmarev and
Christopher Mears and
Guido Tack and
Maria Garcia de la Banda},
title = {Visual search tree profiling},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {77--94},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9202-1},
doi = {10.1007/S10601-015-9202-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ShishmarevMTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Thorstensen16,
author = {Evgenij Thorstensen},
title = {Structural decompositions for problems with global constraints},
journal = {Constraints An Int. J.},
volume = {21},
number = {2},
pages = {198--222},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9181-2},
doi = {10.1007/S10601-015-9181-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Thorstensen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/VismaraCT16,
author = {Philippe Vismara and
Remi Coletta and
Gilles Trombettoni},
title = {Constrained global optimization for wine blending},
journal = {Constraints An Int. J.},
volume = {21},
number = {4},
pages = {597--615},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9235-5},
doi = {10.1007/S10601-015-9235-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/VismaraCT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/X16,
title = {Editor's note},
journal = {Constraints An Int. J.},
volume = {21},
number = {1},
pages = {1},
year = {2016},
url = {https://doi.org/10.1007/s10601-015-9206-x},
doi = {10.1007/S10601-015-9206-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/X16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 02:03 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:
