Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicolas Beldiceanu
@inproceedings{DBLP:conf/aaai/GindullinBCDQ24,
author = {Ramiz Gindullin and
Nicolas Beldiceanu and
Jovial Cheukam{-}Ngouonou and
R{\'{e}}mi Douence and
Claude{-}Guy Quimper},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Composing Biases by Using {CP} to Decompose Minimal Functional Dependencies
for Acquiring Complex Formulae},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {8030--8037},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i8.28641},
doi = {10.1609/AAAI.V38I8.28641},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GindullinBCDQ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GindullinBCDQ23,
author = {Ramiz Gindullin and
Nicolas Beldiceanu and
Jovial Cheukam{-}Ngouonou and
R{\'{e}}mi Douence and
Claude{-}Guy Quimper},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Boolean-Arithmetic Equations: Acquisition and Uses},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {378--394},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_25},
doi = {10.1007/978-3-031-33271-5\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GindullinBCDQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08990,
author = {Jovial Cheukam{-}Ngouonou and
Ramiz Gindullin and
Nicolas Beldiceanu and
R{\'{e}}mi Douence and
Claude{-}Guy Quimper},
title = {Proving Conjectures Acquired by Composing Multiple Biases},
journal = {CoRR},
volume = {abs/2312.08990},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08990},
doi = {10.48550/ARXIV.2312.08990},
eprinttype = {arXiv},
eprint = {2312.08990},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/roia/Beldiceanu22,
author = {Nicolas Beldiceanu},
title = {De l'influence de Jacques Pitrat sur mes recherches en programmation
par contraintes},
journal = {{ROIA}},
volume = {3},
number = {1-2},
pages = {141--153},
year = {2022},
url = {https://doi.org/10.5802/roia.24},
doi = {10.5802/ROIA.24},
timestamp = {Tue, 25 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/roia/Beldiceanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDGQ22,
author = {Nicolas Beldiceanu and
Jovial Cheukam{-}Ngouonou and
R{\'{e}}mi Douence and
Ramiz Gindullin and
Claude{-}Guy Quimper},
editor = {Christine Solnon},
title = {Acquiring Maps of Interrelated Conjectures on Sharp Bounds},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {6:1--6:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.6},
doi = {10.4230/LIPICS.CP.2022.6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCDGQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuRS20,
author = {Nicolas Beldiceanu and
Maria{-}Isabel Restrepo{-}Ruiz and
Helmut Simonis},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Parameterised Bounds on the Sum of Variables in Time-Series Constraints},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 17th International Conference, {CPAIOR} 2020,
Vienna, Austria, September 21-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12296},
pages = {82--98},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_6},
doi = {10.1007/978-3-030-58942-4\_6},
timestamp = {Tue, 22 Sep 2020 17:23:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-09793,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Helmut Simonis},
title = {Synthesising a Database of Parameterised Linear and Non-Linear Invariants
for Time-Series Constraints},
journal = {CoRR},
volume = {abs/1901.09793},
year = {2019},
url = {http://arxiv.org/abs/1901.09793},
eprinttype = {arXiv},
eprint = {1901.09793},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-09793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01532,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Claude{-}Guy Quimper and
Maria{-}Isabel Restrepo{-}Ruiz},
title = {Classifying Pattern and Feature Properties to Get a {\(\Theta\)}(n)
Checker and Reformulation for Sliding Time-Series Constraints},
journal = {CoRR},
volume = {abs/1912.01532},
year = {2019},
url = {http://arxiv.org/abs/1912.01532},
eprinttype = {arXiv},
eprint = {1912.01532},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01532.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ArafailovaBS18,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Helmut Simonis},
title = {Deriving generic bounds for time-series constraints based on regular
expressions characteristics},
journal = {Constraints An Int. J.},
volume = {23},
number = {1},
pages = {44--86},
year = {2018},
url = {https://doi.org/10.1007/s10601-017-9276-z},
doi = {10.1007/S10601-017-9276-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ArafailovaBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/BeldiceanuFGHJL17,
author = {Nicolas Beldiceanu and
Barbara Dumas Feris and
Philippe Gravey and
Md Sabbir Hasan and
Claude Jard and
Thomas Ledoux and
Yunbo Li and
Didier Lime and
Gilles Madi{-}Wamba and
Jean{-}Marc Menaud and
Pascal Morel and
Michel Morvan and
Marie{-}Laure Moulinard and
Anne{-}C{\'{e}}cile Orgerie and
Jean{-}Louis Pazat and
Olivier H. Roux and
Ammar Sharaiha},
title = {Towards energy-proportional clouds partially powered by renewable
energy},
journal = {Computing},
volume = {99},
number = {1},
pages = {3--22},
year = {2017},
url = {https://doi.org/10.1007/s00607-016-0503-z},
doi = {10.1007/S00607-016-0503-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/BeldiceanuFGHJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ArafailovaBS17,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Helmut Simonis},
editor = {J. Christopher Beck},
title = {Generating Linear Invariants for a Conjunction of Automata Constraints},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {21--37},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_2},
doi = {10.1007/978-3-319-66158-2\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArafailovaBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ArafailovaBS17a,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Helmut Simonis},
editor = {J. Christopher Beck},
title = {among Implied Constraints for Two Families of Time-Series Constraints},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {38--54},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_3},
doi = {10.1007/978-3-319-66158-2\_3},
timestamp = {Wed, 23 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArafailovaBS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCDPSS17,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Alban Derrien and
Charles Prud'homme and
Andreas Schutt and
Peter J. Stuckey},
editor = {Domenico Salvagnin and
Michele Lombardi},
title = {Range-Consistent Forbidden Regions of Allen's Relations},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10335},
pages = {21--29},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59776-8\_2},
doi = {10.1007/978-3-319-59776-8\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCDPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/Madi-WambaLOBM17,
author = {Gilles Madi{-}Wamba and
Yunbo Li and
Anne{-}C{\'{e}}cile Orgerie and
Nicolas Beldiceanu and
Jean{-}Marc Menaud},
title = {Green Energy Aware Scheduling Problem in Virtualized Datacenters},
booktitle = {23rd {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2017, Shenzhen, China, December 15-17, 2017},
pages = {648--655},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICPADS.2017.00089},
doi = {10.1109/ICPADS.2017.00089},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/Madi-WambaLOBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/Madi-WambaLOBM17,
author = {Gilles Madi{-}Wamba and
Yunbo Li and
Anne{-}C{\'{e}}cile Orgerie and
Nicolas Beldiceanu and
Jean{-}Marc Menaud},
title = {Cloud Workload Prediction and Generation Models},
booktitle = {29th International Symposium on Computer Architecture and High Performance
Computing, {SBAC-PAD} 2017, Campinas, Brazil, October 17-20, 2017},
pages = {89--96},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SBAC-PAD.2017.19},
doi = {10.1109/SBAC-PAD.2017.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbac-pad/Madi-WambaLOBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArafailovaBS17,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Helmut Simonis},
title = {Deriving Generic Bounds for Time-Series Constraints Based on Regular
Expressions Characteristics},
journal = {CoRR},
volume = {abs/1703.06783},
year = {2017},
url = {http://arxiv.org/abs/1703.06783},
eprinttype = {arXiv},
eprint = {1703.06783},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArafailovaBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MonetteBFP16,
author = {Jean{-}No{\"{e}}l Monette and
Nicolas Beldiceanu and
Pierre Flener and
Justin Pearson},
title = {A parametric propagator for pairs of Sum constraints with a discrete
convexity property},
journal = {Artif. Intell.},
volume = {241},
pages = {170--190},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.08.006},
doi = {10.1016/J.ARTINT.2016.08.006},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/MonetteBFP16.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}
}
@inproceedings{DBLP:conf/cp/ArafailovaBCFRP16,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson and
Helmut Simonis},
editor = {Michel Rueher},
title = {Systematic Derivation of Bounds and Glue Constraints for Time-Series
Constraints},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {13--29},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_2},
doi = {10.1007/978-3-319-44953-1\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArafailovaBCFRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ArafailovaBDFRP16,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
R{\'{e}}mi Douence and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson and
Helmut Simonis},
editor = {Claude{-}Guy Quimper},
title = {Time-Series Constraints: Improvements and Application in {CP} and
{MIP} Contexts},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
May 29 - June 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9676},
pages = {18--34},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33954-2\_2},
doi = {10.1007/978-3-319-33954-2\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ArafailovaBDFRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Madi-WambaB16,
author = {Gilles Madi{-}Wamba and
Nicolas Beldiceanu},
editor = {Claude{-}Guy Quimper},
title = {The TaskIntersection Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
May 29 - June 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9676},
pages = {246--261},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33954-2\_18},
doi = {10.1007/978-3-319-33954-2\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/Madi-WambaB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BeldiceanuS16,
author = {Nicolas Beldiceanu and
Helmut Simonis},
editor = {Christian Bessiere and
Luc De Raedt and
Lars Kotthoff and
Siegfried Nijssen and
Barry O'Sullivan and
Dino Pedreschi},
title = {ModelSeeker: Extracting Global Constraint Models from Positive Examples},
booktitle = {Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary
Approach},
series = {Lecture Notes in Computer Science},
volume = {10101},
pages = {77--95},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50137-6\_4},
doi = {10.1007/978-3-319-50137-6\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/BeldiceanuS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArafailovaBDCFR16,
author = {Ekaterina Arafailova and
Nicolas Beldiceanu and
R{\'{e}}mi Douence and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson and
Helmut Simonis},
title = {Global Constraint Catalog, Volume II, Time-Series Constraints},
journal = {CoRR},
volume = {abs/1609.08925},
year = {2016},
url = {http://arxiv.org/abs/1609.08925},
eprinttype = {arXiv},
eprint = {1609.08925},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArafailovaBDCFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AggounBCF16,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu and
Gilles Chabert and
Fran{\c{c}}ois Fages},
title = {Packing with Complex Shapes},
journal = {{ERCIM} News},
volume = {2016},
number = {105},
year = {2016},
url = {http://ercim-news.ercim.eu/en105/special/packing-with-complex-shapes},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AggounBCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LetortCB15,
author = {Arnaud Letort and
Mats Carlsson and
Nicolas Beldiceanu},
title = {Synchronized sweep algorithms for scalable scheduling constraints},
journal = {Constraints An Int. J.},
volume = {20},
number = {2},
pages = {183--234},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9172-8},
doi = {10.1007/S10601-014-9172-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LetortCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/BeldiceanuCFLPP15,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Xavier Lorca and
Justin Pearson and
Thierry Petit and
Charles Prud'homme},
editor = {Georg Gottlob and
Geoff Sutcliffe and
Andrei Voronkov},
title = {A Modelling Pearl with Sortedness Constraints},
booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
Georgia, October 16-19, 2015},
series = {EPiC Series in Computing},
volume = {36},
pages = {27--41},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/b4dz},
doi = {10.29007/B4DZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/BeldiceanuCFLPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/BeldiceanuFGHJL15,
author = {Nicolas Beldiceanu and
Barbara Dumas Feris and
Philippe Gravey and
Md Sabbir Hasan and
Claude Jard and
Thomas Ledoux and
Yunbo Li and
Didier Lime and
Gilles Madi{-}Wamba and
Jean{-}Marc Menaud and
Pascal Morel and
Michel Morvan and
Marie{-}Laure Moulinard and
Anne{-}C{\'{e}}cile Orgerie and
Jean{-}Louis Pazat and
Olivier H. Roux and
Ammar Sharaiha},
editor = {Markus Helfert and
Karl{-}Heinz Krempels and
Brian Donnellan and
Cornel Klein},
title = {The {EPOC} Project - Energy Proportional and Opportunistic Computing
System},
booktitle = {{SMARTGREENS} 2015 - Proceedings of the 4th International Conference
on Smart Cities and Green {ICT} Systems, Lisbon, Portugal, 20-22 May,
2015},
pages = {388--394},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005487403880394},
doi = {10.5220/0005487403880394},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgreens/BeldiceanuFGHJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuFMPS14,
author = {Nicolas Beldiceanu and
Pierre Flener and
Jean{-}No{\"{e}}l Monette and
Justin Pearson and
Helmut Simonis},
title = {Toward sustainable development in constraint programming},
journal = {Constraints An Int. J.},
volume = {19},
number = {2},
pages = {139--149},
year = {2014},
url = {https://doi.org/10.1007/s10601-013-9152-4},
doi = {10.1007/S10601-013-9152-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuFMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BeldiceanuFPH14,
author = {Nicolas Beldiceanu and
Pierre Flener and
Justin Pearson and
Pascal Van Hentenryck},
editor = {Carla E. Brodley and
Peter Stone},
title = {Propagating Regular Counting Constraints},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2616--2622},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9114},
doi = {10.1609/AAAI.V28I1.9114},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BeldiceanuFPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCFRP14,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
Justin Pearson},
editor = {Barry O'Sullivan},
title = {Linking Prefixes and Suffixes for Constraints Encoded Using Automata
with Accumulators},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {142--157},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_13},
doi = {10.1007/978-3-319-10428-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCFRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCFP13,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
title = {On the reification of global constraints},
journal = {Constraints An Int. J.},
volume = {18},
number = {1},
pages = {1--6},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9132-0},
doi = {10.1007/S10601-012-9132-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCFP13a,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
title = {On matrices, automata, and double counting in constraint programming},
journal = {Constraints An Int. J.},
volume = {18},
number = {1},
pages = {108--140},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9134-y},
doi = {10.1007/S10601-012-9134-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCFP13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MonetteBFP13,
author = {Jean{-}No{\"{e}}l Monette and
Nicolas Beldiceanu and
Pierre Flener and
Justin Pearson},
editor = {Christian Schulte},
title = {A Parametric Propagator for Discretely Convex Pairs of Sum Constraints},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {529--544},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_40},
doi = {10.1007/978-3-642-40627-0\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MonetteBFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuILS13,
author = {Nicolas Beldiceanu and
Georgiana Ifrim and
Arnaud Lenoir and
Helmut Simonis},
editor = {Christian Schulte},
title = {Describing and Generating Solutions for the {EDF} Unit Commitment
Problem with the ModelSeeker},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {733--748},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_54},
doi = {10.1007/978-3-642-40627-0\_54},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuILS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LetortCB13,
author = {Arnaud Letort and
Mats Carlsson and
Nicolas Beldiceanu},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {A Synchronized Sweep Algorithm for the \emph{k-dimensional cumulative}
Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {144--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_10},
doi = {10.1007/978-3-642-38171-3\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/LetortCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/RazakarisonCBS13,
author = {Naina Razakarison and
Mats Carlsson and
Nicolas Beldiceanu and
Helmut Simonis},
editor = {Malte Helmert and
Gabriele R{\"{o}}ger},
title = {{GAC} for a Linear Inequality and an Atleast Constraint with an Application
to Learning Simple Polynomials},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
{SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
pages = {149--157},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/socs.v4i1.18280},
doi = {10.1609/SOCS.V4I1.18280},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/RazakarisonCBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeldiceanuFPH13,
author = {Nicolas Beldiceanu and
Pierre Flener and
Justin Pearson and
Pascal Van Hentenryck},
title = {Propagating Regular Counting Constraints},
journal = {CoRR},
volume = {abs/1309.7145},
year = {2013},
url = {http://arxiv.org/abs/1309.7145},
eprinttype = {arXiv},
eprint = {1309.7145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeldiceanuFPH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuS12,
author = {Nicolas Beldiceanu and
Helmut Simonis},
editor = {Michela Milano},
title = {A Model Seeker: Extracting Global Constraint Models from Positive
Examples},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {141--157},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_13},
doi = {10.1007/978-3-642-33558-7\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LetortBC12,
author = {Arnaud Letort and
Nicolas Beldiceanu and
Mats Carlsson},
editor = {Michela Milano},
title = {A Scalable Sweep Algorithm for the cumulative Constraint},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {439--454},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_33},
doi = {10.1007/978-3-642-33558-7\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LetortBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BeldiceanuCPR12,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit and
Jean{-}Charles R{\'{e}}gin},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {An O(nlog n) Bound Consistency Algorithm for the Conjunction of an
alldifferent and an Inequality between a Sum of Variables and a Constant,
and its Generalization},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {145--150},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-145},
doi = {10.3233/978-1-61499-098-7-145},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BeldiceanuCPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2012,
editor = {Nicolas Beldiceanu and
Narendra Jussien and
Eric Pinson},
title = {Integration of {AI} and {OR} Techniques in Contraint Programming for
Combinatorial Optimzation Problems - 9th International Conference,
{CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7298},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29828-8},
doi = {10.1007/978-3-642-29828-8},
isbn = {978-3-642-29827-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BeldiceanuCDP11,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Emmanuel Poder},
title = {New filtering for the \emph{cumulative} constraint in the context
of non-overlapping rectangles},
journal = {Ann. Oper. Res.},
volume = {184},
number = {1},
pages = {27--50},
year = {2011},
url = {https://doi.org/10.1007/s10479-010-0731-0},
doi = {10.1007/S10479-010-0731-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BeldiceanuCDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuS11,
author = {Nicolas Beldiceanu and
Helmut Simonis},
editor = {Jimmy Ho{-}Man Lee},
title = {A Constraint Seeker: Finding and Ranking Global Constraints from Examples},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {12--26},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_4},
doi = {10.1007/978-3-642-23786-7\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ClercqPBJ11,
author = {Alexis De Clercq and
Thierry Petit and
Nicolas Beldiceanu and
Narendra Jussien},
editor = {Jimmy Ho{-}Man Lee},
title = {Filtering Algorithms for Discrete Cumulative Problems with Overloads
of Resource},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {240--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_20},
doi = {10.1007/978-3-642-23786-7\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ClercqPBJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetitRB11,
author = {Thierry Petit and
Jean{-}Charles R{\'{e}}gin and
Nicolas Beldiceanu},
editor = {Jimmy Ho{-}Man Lee},
title = {A {\(\Theta\)}(n) Bound-Consistency Algorithm for the Increasing Sum
Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {721--728},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_54},
doi = {10.1007/978-3-642-23786-7\_54},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetitRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PetitBL11,
author = {Thierry Petit and
Nicolas Beldiceanu and
Xavier Lorca},
editor = {Toby Walsh},
title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {643--648},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-114},
doi = {10.5591/978-1-57735-516-8/IJCAI11-114},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PetitBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-4719,
author = {Thierry Petit and
Nicolas Beldiceanu and
Xavier Lorca},
title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:
Revised Edition that Incorporates One Correction},
journal = {CoRR},
volume = {abs/1110.4719},
year = {2011},
url = {http://arxiv.org/abs/1110.4719},
eprinttype = {arXiv},
eprint = {1110.4719},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChabertB10,
author = {Gilles Chabert and
Nicolas Beldiceanu},
editor = {David Cohen},
title = {Sweeping with Continuous Domains},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {137--151},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_14},
doi = {10.1007/978-3-642-15396-9\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChabertB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCFP10,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Pierre Flener and
Justin Pearson},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {On Matrices, Automata, and Double Counting},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {10--24},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_4},
doi = {10.1007/978-3-642-13520-0\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuHLP10,
author = {Nicolas Beldiceanu and
Fabien Hermenier and
Xavier Lorca and
Thierry Petit},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {The Increasing Nvalue Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 7th International Conference,
{CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {25--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_5},
doi = {10.1007/978-3-642-13520-0\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuHLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AggounBCF10,
author = {Abder Aggoun and
Nicolas Beldiceanu and
Mats Carlsson and
Fran{\c{c}}ois Fages},
title = {Integrating Rule-Based Modelling and Constraint Programming for Solving
Industrial Packing Problems},
journal = {{ERCIM} News},
volume = {2010},
number = {81},
year = {2010},
url = {http://ercim-news.ercim.eu/en81/special/modelling-and-constraint-programming-for-solving-industrial-packing-problems},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/AggounBCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BeldiceanuKL09,
author = {Nicolas Beldiceanu and
Irit Katriel and
Xavier Lorca},
title = {Undirected forest constraints},
journal = {Ann. Oper. Res.},
volume = {171},
number = {1},
pages = {127--147},
year = {2009},
url = {https://doi.org/10.1007/s10479-008-0374-6},
doi = {10.1007/S10479-008-0374-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BeldiceanuKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AgrenBCSTZ09,
author = {Magnus {\AA}gren and
Nicolas Beldiceanu and
Mats Carlsson and
Mohamed Sbihi and
Charlotte Truchet and
St{\'{e}}phane Zampelli},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Six Ways of Integrating Symmetries within Non-overlapping Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {11--25},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_3},
doi = {10.1007/978-3-642-01929-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/AgrenBCSTZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuFL08,
author = {Nicolas Beldiceanu and
Pierre Flener and
Xavier Lorca},
title = {Combining Tree Partitioning, Precedence, and Incomparability Constraints},
journal = {Constraints An Int. J.},
volume = {13},
number = {4},
pages = {459--489},
year = {2008},
url = {https://doi.org/10.1007/s10601-007-9040-x},
doi = {10.1007/S10601-007-9040-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PoderB08,
author = {Emmanuel Poder and
Nicolas Beldiceanu},
editor = {Jussi Rintanen and
Bernhard Nebel and
J. Christopher Beck and
Eric A. Hansen},
title = {Filtering for a Continuous Multi-Resources cumulative Constraint with
Resource Consumption and Production},
booktitle = {Proceedings of the Eighteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
14-18, 2008},
pages = {264--271},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/ICAPS/2008/icaps08-033.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/PoderB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonBM08,
author = {Mats Carlsson and
Nicolas Beldiceanu and
Julien Martin},
editor = {Peter J. Stuckey},
title = {A Geometric Constraint over k-Dimensional Objects and Shapes Subject
to Business Rules},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {220--234},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_15},
doi = {10.1007/978-3-540-85958-1\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CarlssonBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCP08,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Emmanuel Poder},
editor = {Laurent Perron and
Michael A. Trick},
title = {New Filtering for the cumulative Constraint in the Context of Non-Overlapping
Rectangles},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {21--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_5},
doi = {10.1007/978-3-540-68155-7\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Beldiceanu07,
author = {Nicolas Beldiceanu},
title = {Introduction to the Special Issue on Global Constraints},
journal = {Constraints An Int. J.},
volume = {12},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1007/s10601-006-9008-2},
doi = {10.1007/S10601-006-9008-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Beldiceanu07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
title = {Global Constraint Catalogue: Past, Present and Future},
journal = {Constraints An Int. J.},
volume = {12},
number = {1},
pages = {21--62},
year = {2007},
url = {https://doi.org/10.1007/s10601-006-9010-8},
doi = {10.1007/S10601-006-9010-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCPST07,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Emmanuel Poder and
R. Sadek and
Charlotte Truchet},
editor = {Christian Bessiere},
title = {A Generic Geometrical Constraint Kernel in Space and Time for Handling
Polymorphic \emph{k}-Dimensional Objects},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_15},
doi = {10.1007/978-3-540-74970-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuL07,
author = {Nicolas Beldiceanu and
Xavier Lorca},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Necessary Condition for Path Partitioning Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {141--154},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_11},
doi = {10.1007/978-3-540-72397-4\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuP07,
author = {Nicolas Beldiceanu and
Emmanuel Poder},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {A Continuous Multi-resources \emph{cumulative} Constraint with Positive-Negative
Resource Consumption-Production},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 4th International Conference,
{CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {214--228},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_16},
doi = {10.1007/978-3-540-72397-4\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/BeldiceanuCT06,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sven Thiel},
title = {Sweep synchronization as a global propagation mechanism},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2835--2851},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.013},
doi = {10.1016/J.COR.2005.01.013},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/BeldiceanuCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/BeldiceanuPR06,
author = {Nicolas Beldiceanu and
Thierry Petit and
Guillaume Rochart},
title = {Bounds of graph parameters for global constraints},
journal = {{RAIRO} Oper. Res.},
volume = {40},
number = {4},
pages = {327--353},
year = {2006},
url = {https://doi.org/10.1051/ro:2007001},
doi = {10.1051/RO:2007001},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rairo/BeldiceanuPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDP06,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Sophie Demassey and
Thierry Petit},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Graph Properties Based Filtering},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {59--74},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_7},
doi = {10.1007/11889205\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCDP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuKL06,
author = {Nicolas Beldiceanu and
Irit Katriel and
Xavier Lorca},
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {Undirected Forest Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Third International Conference,
{CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3990},
pages = {29--43},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375\_5},
doi = {10.1007/11757375\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDP05,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Romuald Debruyne and
Thierry Petit},
title = {Reformulation of Global Constraints Based on Constraints Checkers},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {339--362},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2809-x},
doi = {10.1007/S10601-005-2809-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BeldiceanuCDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCRT05,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Jean{-}Xavier Rampon and
Charlotte Truchet},
editor = {Peter van Beek},
title = {Graph Invariants as Necessary Conditions for Global Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {92--106},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_10},
doi = {10.1007/11564751\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuPR05,
author = {Nicolas Beldiceanu and
Thierry Petit and
Guillaume Rochart},
editor = {Peter van Beek},
title = {Bounds of Graph Characteristics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {742--746},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_56},
doi = {10.1007/11564751\_56},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuFL05,
author = {Nicolas Beldiceanu and
Pierre Flener and
Xavier Lorca},
editor = {Roman Bart{\'{a}}k and
Michela Milano},
title = {The tree Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Second International Conference,
{CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3524},
pages = {64--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11493853\_7},
doi = {10.1007/11493853\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/PoderBS04,
author = {Emmanuel Poder and
Nicolas Beldiceanu and
Eric Sanlaville},
title = {Computing a lower approximation of the compulsory part of a task with
varying duration and varying resource consumption},
journal = {Eur. J. Oper. Res.},
volume = {153},
number = {1},
pages = {239--254},
year = {2004},
url = {https://doi.org/10.1016/S0377-2217(02)00756-7},
doi = {10.1016/S0377-2217(02)00756-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/PoderBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apbc/CarlssonC04,
author = {Mats Carlsson and
Nicolas Beldiceanu},
editor = {Yi{-}Ping Phoebe Chen},
title = {Dispensation Order Generation for Pyrosequencing},
booktitle = {Second Asia-Pacific Bioinformatics Conference {(APBC} 2004), January
18-22, 2004, Dunedin, New Zealand},
series = {{CRPIT}},
volume = {29},
pages = {327--332},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV29Carlsson.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apbc/CarlssonC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCP04,
author = {Nicolas Beldiceanu and
Mats Carlsson and
Thierry Petit},
editor = {Mark Wallace},
title = {Deriving Filtering Algorithms from Constraint Checkers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {107--122},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_11},
doi = {10.1007/978-3-540-30201-8\_11},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuCP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuKT04,
author = {Nicolas Beldiceanu and
Irit Katriel and
Sven Thiel},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {Filtering Algorithms for the Same Constraint},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, First International Conference,
{CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {65--79},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_5},
doi = {10.1007/978-3-540-24664-0\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuKT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuP04,
author = {Nicolas Beldiceanu and
Thierry Petit},
editor = {Jean{-}Charles R{\'{e}}gin and
Michel Rueher},
title = {Cost Evaluation of Soft Global Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, First International Conference,
{CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {80--95},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24664-0\_6},
doi = {10.1007/978-3-540-24664-0\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BeldiceanuP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BeldiceanuKT04,
author = {Nicolas Beldiceanu and
Irit Katriel and
Sven Thiel},
editor = {Boi Faltings and
Adrian Petcu and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {GCC-Like Restrictions on the \emph{Same} Constraint},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNet International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3419},
pages = {1--11},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11402763\_1},
doi = {10.1007/11402763\_1},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BeldiceanuKT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CarlssonB04,
author = {Mats Carlsson and
Nicolas Beldiceanu},
editor = {David A. Schmidt},
title = {From Constraints to Finite Automata to Filtering Algorithms},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {94--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_8},
doi = {10.1007/978-3-540-24725-8\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CarlssonB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BeldiceanuP04,
author = {Nicolas Beldiceanu and
Emmanuel Poder},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {The period Constraint},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {329--342},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_23},
doi = {10.1007/978-3-540-27775-0\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BeldiceanuP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/BeldiceanuP04,
author = {Nicolas Beldiceanu and
Emmanuel Poder},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {La contrainte p{\'{e}}riode},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
23 Juin 2004, Angers, France},
publisher = {Hermes},
year = {2004},
timestamp = {Mon, 13 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfplc/BeldiceanuP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Beldiceanu03,
author = {Nicolas Beldiceanu},
title = {Contraintes Globales : Aspects Algorithmiques et D{\'{e}}claratifs.
(Global constraints: algorithmic and declarative aspects)},
year = {2003},
url = {https://tel.archives-ouvertes.fr/tel-02927324},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Beldiceanu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC02,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Pascal Van Hentenryck},
title = {A New Multi-resource cumulatives Constraint with Negative Heights},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {63--79},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_5},
doi = {10.1007/3-540-46135-3\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AgrenSBC02,
author = {Magnus {\AA}gren and
Tam{\'{a}}s Szeredi and
Nicolas Beldiceanu and
Mats Carlsson},
editor = {Alexandre Tessier},
title = {Tracing and Explaining Execution of {CLP(FD)} Programs},
booktitle = {Proceedings of the 12th International Workshop on Logic Programming
Environments, {WLPE} 2002, Copenhagen, Denmark, July 31, 2002},
pages = {1--16},
year = {2002},
url = {https://arxiv.org/abs/cs/0207047},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/AgrenSBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Beldiceanu01,
author = {Nicolas Beldiceanu},
editor = {Toby Walsh},
title = {Pruning for the Minimum Constraint Family and for the Number of Distinct
Values Constraint Family},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {211--224},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_15},
doi = {10.1007/3-540-45578-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Beldiceanu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuC01,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Toby Walsh},
title = {Sweep as a Generic Pruning Technique Applied to the Non-overlapping
Rectangles Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {377--391},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_26},
doi = {10.1007/3-540-45578-7\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuGT01,
author = {Nicolas Beldiceanu and
Qi Guo and
Sven Thiel},
editor = {Toby Walsh},
title = {Non-overlapping Constraints between Convex Polytopes},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {392--407},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_27},
doi = {10.1007/3-540-45578-7\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BeldiceanuGT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BeldiceanuC01,
author = {Nicolas Beldiceanu and
Mats Carlsson},
editor = {Philippe Codognet},
title = {Revisiting the Cardinality Operator and Introducing the Cardinality-Path
Constraint Family},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {59--73},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_12},
doi = {10.1007/3-540-45635-X\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BeldiceanuC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Beldiceanu00,
author = {Nicolas Beldiceanu},
editor = {Rina Dechter},
title = {Global Constraints as Graph Properties on a Structured Network of
Elementary Constraints of the Same Type},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {52--66},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_6},
doi = {10.1007/3-540-45349-0\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Beldiceanu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/SimonisABB00,
author = {Helmut Simonis and
Abderrahmane Aggoun and
Nicolas Beldiceanu and
Eric Bourreau},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Complex Constraint Abstraction: Global Constraint Visualisation},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {299--317},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_13},
doi = {10.1007/10722311\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/discipl/SimonisABB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/AggounB92,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu},
editor = {Jean{-}Paul Delahaye and
Philippe Devienne and
Philippe Mathieu and
Pascal Yim},
title = {Extending {CHIP} in order to solve complex scheduling and placement
problems},
booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
de Programmation Logique, 25-27 Mai 1992, Lille, France},
pages = {51},
year = {1992},
timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/AggounB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AggounB91,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu},
editor = {Koichi Furukawa},
title = {Overview of the {CHIP} Compiler System},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {775--789},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AggounB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/AggounB91,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou and
Alain Colmerauer},
title = {Overview of the {CHIP} Compiler System},
booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
France},
pages = {421--435},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Tue, 30 Jul 2019 16:42:24 +0200},
biburl = {https://dblp.org/rec/conf/wclp/AggounB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/AggounB90,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu},
editor = {Serge Bourgault and
Mehmet Dincbas},
title = {Time Stamps Techniques for the Trailed Data in Constraint Logic Programming
Systems},
booktitle = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
pages = {487--510},
year = {1990},
timestamp = {Mon, 06 Sep 2004 15:30:15 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/AggounB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SouissiB88,
author = {Younes Souissi and
Nicolas Beldiceanu},
editor = {Friedrich H. Vogt},
title = {Deterministic Systems of Sequential Processes: Theory and Tools},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {380--400},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_52},
doi = {10.1007/3-540-50403-6\_52},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/SouissiB88.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.
last updated on 2024-04-25 05:57 CEST 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:
