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/constraints28.bht:"
download as .bib file
@article{DBLP:journals/constraints/000123,
author = {Edward Lam},
title = {Hybrid optimization of vehicle routing problems},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {67--68},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09352-5},
doi = {10.1007/S10601-023-09352-5},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/000123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/AcikalinCS23,
author = {Utku Umur Acikalin and
Bugra {\c{C}}askurlu and
K. Subramani},
title = {Security-Aware Database Migration Planning},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {472--505},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09351-6},
doi = {10.1007/S10601-023-09351-6},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/AcikalinCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BessiereCCH23,
author = {Christian Bessiere and
Cl{\'{e}}ment Carbonnel and
Martin C. Cooper and
Emmanuel Hebrard},
title = {Complexity of minimum-size arc-inconsistency explanations},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {427--449},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09360-5},
doi = {10.1007/S10601-023-09360-5},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BessiereCCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Bjordal23,
author = {Gustav Bj{\"{o}}rdal},
title = {From declarative models to local search},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {508--509},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09359-y},
doi = {10.1007/S10601-023-09359-Y},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Bjordal23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BodirskyBSW23,
author = {Manuel Bodirsky and
Jakub Bul{\'{\i}}n and
Florian Starke and
Michael Wernthaler},
title = {The smallest hard trees},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {105--137},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09341-8},
doi = {10.1007/S10601-023-09341-8},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/BodirskyBSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Booth23,
author = {Kyle E. C. Booth},
title = {Constraint programming approaches to electric vehicle and robot routing
problems},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {506--507},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09355-2},
doi = {10.1007/S10601-023-09355-2},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Booth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BoutilierMZ23,
author = {Justin J. Boutilier and
Carla Michini and
Zachary Zhou},
title = {Optimal multivariate decision trees},
journal = {Constraints An Int. J.},
volume = {28},
number = {4},
pages = {549--577},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09367-y},
doi = {10.1007/S10601-023-09367-Y},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BoutilierMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Caballero23,
author = {Jordi Coll Caballero},
title = {Scheduling through logic-based tools},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {510},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09357-0},
doi = {10.1007/S10601-023-09357-0},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Caballero23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CanoyBMG23,
author = {Rocsildes Canoy and
V{\'{\i}}ctor Bucarey and
Jayanta Mandi and
Tias Guns},
title = {Learn and route: learning implicit preferences for vehicle routing},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {363--396},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09363-2},
doi = {10.1007/S10601-023-09363-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/CanoyBMG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Castro23,
author = {Margarita P. Castro},
title = {Optimization methods based on decision diagrams for constraint programming,
{AI} planning, and mathematical programming},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {511--512},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09353-4},
doi = {10.1007/S10601-023-09353-4},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Castro23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Cherif23,
author = {Mohamed Sami Cherif},
title = {Reasoning and inference for (Maximum) satisfiability: new insights},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {513--514},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09365-0},
doi = {10.1007/S10601-023-09365-0},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Cherif23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CsehE023,
author = {{\'{A}}gnes Cseh and
Guillaume Escamocher and
Luis Quesada},
title = {Computing relaxations for the three-dimensional stable matching problem
with cyclic preferences},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {138--165},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09346-3},
doi = {10.1007/S10601-023-09346-3},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/CsehE023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Dlask23,
author = {Tom{\'{a}}s Dlask},
title = {Block-coordinate descent and local consistencies in linear programming},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {69--70},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09350-7},
doi = {10.1007/S10601-023-09350-7},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/Dlask23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DlaskW23,
author = {Tom{\'{a}}s Dlask and
Tom{\'{a}}s Werner},
title = {Activity propagation in systems of linear inequalities and its relation
to block-coordinate descent in linear programs},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {244--276},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09349-0},
doi = {10.1007/S10601-023-09349-0},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/DlaskW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DlaskWG23,
author = {Tom{\'{a}}s Dlask and
Tom{\'{a}}s Werner and
Simon de Givry},
title = {Super-reparametrizations of weighted CSPs: properties and optimization
perspective},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {277--319},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09343-6},
doi = {10.1007/S10601-023-09343-6},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/DlaskWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DreierOS23,
author = {Jan Dreier and
Sebastian Ordyniak and
Stefan Szeider},
title = {{CSP} beyond tractable constraint languages},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {450--471},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09362-3},
doi = {10.1007/S10601-023-09362-3},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DreierOS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Garcia23,
author = {R{\'{e}}my Garcia},
title = {Floating-point numbers round-off error analysis by constraint programming},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {515},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09354-3},
doi = {10.1007/S10601-023-09354-3},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Garcia23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KheireddineRB23,
author = {Anissa Kheireddine and
Etienne Renault and
Souheib Baarir},
title = {Towards better heuristics for solving bounded model checking problems},
journal = {Constraints An Int. J.},
volume = {28},
number = {1},
pages = {45--66},
year = {2023},
url = {https://doi.org/10.1007/s10601-022-09339-8},
doi = {10.1007/S10601-022-09339-8},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/KheireddineRB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LacknerMMWW23,
author = {Marie{-}Louise Lackner and
Christoph Mrkvicka and
Nysret Musliu and
Daniel Walkiewicz and
Felix Winter},
title = {Exact methods for the Oven Scheduling Problem},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {320--361},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09347-2},
doi = {10.1007/S10601-023-09347-2},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/LacknerMMWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SenthooranKBCL023,
author = {Ilankaikone Senthooran and
Matthias Klapperst{\"{u}}ck and
Gleb Belov and
Tobias Czauderna and
Kevin Leo and
Mark Wallace and
Michael Wybrow and
Maria Garcia de la Banda},
title = {Human-centred feasibility restoration in practice},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {203--243},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09344-5},
doi = {10.1007/S10601-023-09344-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/SenthooranKBCL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ShatiCM23,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
title = {SAT-based optimal classification trees for non-binary data},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {166--202},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09348-1},
doi = {10.1007/S10601-023-09348-1},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/ShatiCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Takhanov23,
author = {Rustem Takhanov},
title = {The algebraic structure of the densification and the sparsification
tasks for CSPs},
journal = {Constraints An Int. J.},
volume = {28},
number = {1},
pages = {13--44},
year = {2023},
url = {https://doi.org/10.1007/s10601-022-09340-1},
doi = {10.1007/S10601-022-09340-1},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Takhanov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Talbot23,
author = {Pierre Talbot},
title = {Spacetime programming: a synchronous language for constraint search},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {516--517},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09356-1},
doi = {10.1007/S10601-023-09356-1},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Talbot23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/UlrichOlteanNW23,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Learning to select {SAT} encodings for pseudo-Boolean and linear integer
constraints},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {397--426},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09364-1},
doi = {10.1007/S10601-023-09364-1},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/UlrichOlteanNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Vavrille23,
author = {Mathieu Vavrille},
title = {A feature commonality-based search strategy to find high t-wise covering
solutions in feature models},
journal = {Constraints An Int. J.},
volume = {28},
number = {4},
pages = {521--548},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09366-z},
doi = {10.1007/S10601-023-09366-Z},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Vavrille23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/VavrilleTP23,
author = {Mathieu Vavrille and
Charlotte Truchet and
Charles Prud'homme},
title = {Correction to: Solution sampling with random table constraints},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {519},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09361-4},
doi = {10.1007/S10601-023-09361-4},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/VavrilleTP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Verhaeghe23,
author = {H{\'{e}}l{\`{e}}ne Verhaeghe},
title = {The extensional constraint},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {518},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09358-z},
doi = {10.1007/S10601-023-09358-Z},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Verhaeghe23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/WessenC0FPM23,
author = {Johan Wess{\'{e}}n and
Mats Carlsson and
Christian Schulte and
Pierre Flener and
Federico Pecora and
Mihhail Matskin},
title = {A constraint programming model for the scheduling and workspace layout
design of a dual-arm multi-tool assembly robot},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {71--104},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09345-4},
doi = {10.1007/S10601-023-09345-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/WessenC0FPM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ZavatteriROR23,
author = {Matteo Zavatteri and
Alice Raffaele and
Dario Ostuni and
Romeo Rizzi},
title = {An interdisciplinary experimental evaluation on the disjunctive temporal
problem},
journal = {Constraints An Int. J.},
volume = {28},
number = {1},
pages = {1--12},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09342-7},
doi = {10.1007/S10601-023-09342-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ZavatteriROR23.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-05-09 22:39 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:
