BibTeX records: Philippe Codognet

download as .bib file

@article{DBLP:journals/jocch/VinayavekhinKSCTM24,
  author       = {Phongtharin Vinayavekhin and
                  Banphatree Khomkham and
                  Vorapong Suppakitpaisarn and
                  Philippe Codognet and
                  Torahiko Terada and
                  Atsushi Miura},
  title        = {Identifying Relationships and Classifying Western-style Paintings:
                  Machine Learning Approaches for Artworks by Western Artists and Meiji-era
                  Japanese Artists},
  journal      = {{ACM} Journal on Computing and Cultural Heritage},
  volume       = {17},
  number       = {1},
  pages        = {6:1--6:18},
  year         = {2024},
  url          = {https://doi.org/10.1145/3631136},
  doi          = {10.1145/3631136},
  timestamp    = {Wed, 27 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jocch/VinayavekhinKSCTM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Codognet23,
  author       = {Philippe Codognet},
  editor       = {Sara Silva and
                  Lu{\'{\i}}s Paquete},
  title        = {Encoding the At-Most-One Constraint for {QUBO} and Quantum Annealing:
                  Experiments with the N-Queens problem},
  booktitle    = {Companion Proceedings of the Conference on Genetic and Evolutionary
                  Computation, {GECCO} 2023, Companion Volume, Lisbon, Portugal, July
                  15-19, 2023},
  pages        = {2195--2202},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3583133.3596394},
  doi          = {10.1145/3583133.3596394},
  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gecco/Codognet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Codognet23,
  author       = {Philippe Codognet},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Quantum Annealing for Constraint Satisfaction and Constrained Optimization},
  booktitle    = {Proceedings of the 15th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
                  22-24, 2023},
  pages        = {5},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  timestamp    = {Tue, 09 May 2023 16:56:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/Codognet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/RichouxBC23,
  author       = {Florian Richoux and
                  Jean{-}Fran{\c{c}}ois Baffier and
                  Philippe Codognet},
  editor       = {Jir{\'{\i}} Mikyska and
                  Cl{\'{e}}lia de Mulatier and
                  Maciej Paszynski and
                  Valeria V. Krzhizhanovskaya and
                  Jack J. Dongarra and
                  Peter M. A. Sloot},
  title        = {Learning qubo Models for Quantum Annealing: {A} Constraint-Based Approach},
  booktitle    = {Computational Science - {ICCS} 2023 - 23rd International Conference,
                  Prague, Czech Republic, July 3-5, 2023, Proceedings, Part {V}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14077},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-36030-5\_12},
  doi          = {10.1007/978-3-031-36030-5\_12},
  timestamp    = {Tue, 25 Jul 2023 13:19:28 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/RichouxBC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-qse/Codognet23,
  author       = {Philippe Codognet},
  title        = {Generating Presence-Absence Matrices by Quantum Annealing},
  booktitle    = {4th {IEEE/ACM} International Workshop on Quantum Software Engineering,
                  Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023},
  pages        = {9--15},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/Q-SE59154.2023.00008},
  doi          = {10.1109/Q-SE59154.2023.00008},
  timestamp    = {Tue, 08 Aug 2023 12:06:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icse-qse/Codognet23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bioma/Codognet22,
  author       = {Philippe Codognet},
  editor       = {Luca Di Gaspero and
                  Paola Festa and
                  Amir Nakib and
                  Mario Pavone},
  title        = {Comparing {QUBO} Models of the Magic Square Problem for Quantum Annealing},
  booktitle    = {Metaheuristics - 14th International Conference, {MIC} 2022, Syracuse,
                  Italy, July 11-14, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13838},
  pages        = {470--477},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26504-4\_35},
  doi          = {10.1007/978-3-031-26504-4\_35},
  timestamp    = {Tue, 28 Feb 2023 16:12:29 +0100},
  biburl       = {https://dblp.org/rec/conf/bioma/Codognet22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/Codognet22,
  author       = {Philippe Codognet},
  editor       = {Leslie P{\'{e}}rez C{\'{a}}ceres and
                  S{\'{e}}bastien V{\'{e}}rel},
  title        = {Modeling the Costas Array Problem in {QUBO} for Quantum Annealing},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization - 22nd European
                  Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain,
                  April 20-22, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13222},
  pages        = {143--158},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-04148-8\_10},
  doi          = {10.1007/978-3-031-04148-8\_10},
  timestamp    = {Thu, 07 Apr 2022 18:19:54 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/Codognet22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/VinayavekhinSCTM22,
  author       = {Phongtharin Vinayavekhin and
                  Vorapong Suppakitpaisarn and
                  Philippe Codognet and
                  Torahiko Terada and
                  Atsushi Miura},
  editor       = {Jean{-}Jacques Rousseau and
                  Bill Kapralos},
  title        = {Learning Similarity for Discovering Inspirations of Western Arts in
                  Japanese Culture},
  booktitle    = {Pattern Recognition, Computer Vision, and Image Processing. {ICPR}
                  2022 International Workshops and Challenges - Montreal, QC, Canada,
                  August 21-25, 2022, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13645},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-37731-0\_7},
  doi          = {10.1007/978-3-031-37731-0\_7},
  timestamp    = {Mon, 14 Aug 2023 16:16:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icpr/VinayavekhinSCTM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/Codognet22,
  author       = {Philippe Codognet},
  title        = {Domain-Wall / Unary Encoding in {QUBO} for Permutation Problems},
  booktitle    = {{IEEE} International Conference on Quantum Computing and Engineering,
                  {QCE} 2022, Broomfield, CO, USA, September 18-23, 2022},
  pages        = {167--173},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/QCE53715.2022.00036},
  doi          = {10.1109/QCE53715.2022.00036},
  timestamp    = {Fri, 25 Nov 2022 16:03:18 +0100},
  biburl       = {https://dblp.org/rec/conf/qce/Codognet22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsw/CodognetDA22,
  author       = {Philippe Codognet and
                  Daniel Diaz and
                  Salvador Abreu},
  editor       = {Shaukat Ali and
                  Claudio Agostino Ardagna and
                  Johanna Barzen and
                  Hongyi Bian and
                  Carl K. Chang and
                  Rong N. Chang and
                  Ernesto Damiani and
                  Ismael Faro and
                  Sebastian Feld and
                  Frank Leymann and
                  Francisco Mart{\'{\i}}n{-}Fern{\'{a}}ndez and
                  Robert Ward and
                  Manuel Wimmer and
                  Fatos Xhafa and
                  Jessie Yu and
                  Jia Zhang},
  title        = {Quantum and Digital Annealing for the Quadratic Assignment Problem},
  booktitle    = {{IEEE} International Conference on Quantum Software, {QSW} 2022, Barcelona,
                  Spain, July 10-16, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/QSW55613.2022.00016},
  doi          = {10.1109/QSW55613.2022.00016},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsw/CodognetDA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/Codognet21,
  author       = {Philippe Codognet},
  editor       = {Federico Silla and
                  Osni Marques},
  title        = {Constraint Solving by Quantum Annealing},
  booktitle    = {{ICPP} Workshops 2021: 50th International Conference on Parallel Processing,
                  Virtual Event / Lemont (near Chicago), IL, USA, August 9-12, 2021},
  pages        = {25:1--25:10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3458744.3473364},
  doi          = {10.1145/3458744.3473364},
  timestamp    = {Tue, 28 Sep 2021 14:37:48 +0200},
  biburl       = {https://dblp.org/rec/conf/icppw/Codognet21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/CodognetMDA18,
  author       = {Philippe Codognet and
                  Danny Munera and
                  Daniel Diaz and
                  Salvador Abreu},
  editor       = {Youssef Hamadi and
                  Lakhdar Sais},
  title        = {Parallel Local Search},
  booktitle    = {Handbook of Parallel Constraint Reasoning},
  pages        = {381--417},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-63516-3\_10},
  doi          = {10.1007/978-3-319-63516-3\_10},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/18/CodognetMDA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/TruchetARC16,
  author       = {Charlotte Truchet and
                  Alejandro Arbelaez and
                  Florian Richoux and
                  Philippe Codognet},
  title        = {Estimating parallel runtimes for randomized algorithms in constraint
                  solving},
  journal      = {J. Heuristics},
  volume       = {22},
  number       = {4},
  pages        = {613--648},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10732-015-9292-3},
  doi          = {10.1007/S10732-015-9292-3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/heuristics/TruchetARC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CaniouCRDA15,
  author       = {Yves Caniou and
                  Philippe Codognet and
                  Florian Richoux and
                  Daniel Diaz and
                  Salvador Abreu},
  title        = {Large-scale parallelism for constraint-based local search: the costas
                  array case study},
  journal      = {Constraints An Int. J.},
  volume       = {20},
  number       = {1},
  pages        = {30--56},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10601-014-9168-4},
  doi          = {10.1007/S10601-014-9168-4},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/CaniouCRDA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuneraDARSC15,
  author       = {Danny Munera and
                  Daniel Diaz and
                  Salvador Abreu and
                  Francesca Rossi and
                  Vijay A. Saraswat and
                  Philippe Codognet},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Solving Hard Stable Matching Problems via Local Search and Cooperative
                  Parallelization},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {1212--1218},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9360},
  doi          = {10.1609/AAAI.V29I1.9360},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/MuneraDARSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/MuneraDAC14,
  author       = {Danny Munera and
                  Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  editor       = {Christian Blum and
                  Gabriela Ochoa},
  title        = {A Parametric Framework for Cooperative Parallel Local Search},
  booktitle    = {Evolutionary Computation in Combinatorial Optimisation - 14th European
                  Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8600},
  pages        = {13--24},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44320-0\_2},
  doi          = {10.1007/978-3-662-44320-0\_2},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/evoW/MuneraDAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CaniouC14,
  author       = {Yves Caniou and
                  Philippe Codognet},
  title        = {Dependent Walks in Parallel Local Search},
  booktitle    = {2014 {IEEE} International Parallel {\&} Distributed Processing
                  Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014},
  pages        = {1541--1546},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/IPDPSW.2014.172},
  doi          = {10.1109/IPDPSW.2014.172},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/CaniouC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ArbelaezC14,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  title        = {A {GPU} Implementation of Parallel Constraint-Based Local Search},
  booktitle    = {22nd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2014, Torino, Italy, February
                  12-14, 2014},
  pages        = {648--655},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PDP.2014.28},
  doi          = {10.1109/PDP.2014.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/ArbelaezC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MuneraDAC14,
  author       = {Danny Munera and
                  Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  editor       = {Yookun Cho and
                  Sung Y. Shin and
                  Sang{-}Wook Kim and
                  Chih{-}Cheng Hung and
                  Jiman Hong},
  title        = {Flexible cooperation in parallel local search},
  booktitle    = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
                  Korea - March 24 - 28, 2014},
  pages        = {1360--1361},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2554850.2555140},
  doi          = {10.1145/2554850.2555140},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MuneraDAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ArbelaezTC13,
  author       = {Alejandro Arbelaez and
                  Charlotte Truchet and
                  Philippe Codognet},
  title        = {Using sequential runtime distributions for the parallel speedup prediction
                  of {SAT} local search},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5},
  pages        = {625--639},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1471068413000392},
  doi          = {10.1017/S1471068413000392},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/ArbelaezTC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/ArbelaezC13,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  editor       = {Martin Middendorf and
                  Christian Blum},
  title        = {From Sequential to Parallel Local Search for {SAT}},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization - 13th European
                  Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7832},
  pages        = {157--168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37198-1\_14},
  doi          = {10.1007/978-3-642-37198-1\_14},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/evoW/ArbelaezC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/TruchetRC13,
  author       = {Charlotte Truchet and
                  Florian Richoux and
                  Philippe Codognet},
  title        = {Prediction of Parallel Speed-Ups for Las Vegas Algorithms},
  booktitle    = {42nd International Conference on Parallel Processing, {ICPP} 2013,
                  Lyon, France, October 1-4, 2013},
  pages        = {160--169},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICPP.2013.25},
  doi          = {10.1109/ICPP.2013.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/TruchetRC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CaniouC13,
  author       = {Yves Caniou and
                  Philippe Codognet},
  title        = {Sequential and Parallel Restart Policies for Constraint-Based Local
                  Search},
  booktitle    = {2013 {IEEE} International Symposium on Parallel {\&} Distributed
                  Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24,
                  2013},
  pages        = {1754--1763},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IPDPSW.2013.211},
  doi          = {10.1109/IPDPSW.2013.211},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/CaniouC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/DiazAC12,
  author       = {Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  title        = {Targeting the Cell Broadband Engine for constraint-based local search},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {24},
  number       = {6},
  pages        = {647--660},
  year         = {2012},
  url          = {https://doi.org/10.1002/cpe.1855},
  doi          = {10.1002/CPE.1855},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/DiazAC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/CodognetP12,
  author       = {Philippe Codognet and
                  Olivier Pasquet},
  title        = {Ambient sound spaces},
  journal      = {Multim. Tools Appl.},
  volume       = {58},
  number       = {2},
  pages        = {355--370},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11042-010-0666-0},
  doi          = {10.1007/S11042-010-0666-0},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mta/CodognetP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DiazAC12,
  author       = {Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  title        = {On the implementation of {GNU} Prolog},
  journal      = {Theory Pract. Log. Program.},
  volume       = {12},
  number       = {1-2},
  pages        = {253--282},
  year         = {2012},
  url          = {https://doi.org/10.1017/S1471068411000470},
  doi          = {10.1017/S1471068411000470},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DiazAC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ArbelaezC12,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  title        = {Massively Parallel Local Search for {SAT}},
  booktitle    = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages        = {57--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICTAI.2012.17},
  doi          = {10.1109/ICTAI.2012.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ArbelaezC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/DiazRCCA12,
  author       = {Daniel Diaz and
                  Florian Richoux and
                  Yves Caniou and
                  Philippe Codognet and
                  Salvador Abreu},
  title        = {Parallel Local Search for the Costas Array Problem},
  booktitle    = {26th {IEEE} International Parallel and Distributed Processing Symposium
                  Workshops {\&} PhD Forum, {IPDPS} 2012, Shanghai, China, May 21-25,
                  2012},
  pages        = {1793--1802},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/IPDPSW.2012.222},
  doi          = {10.1109/IPDPSW.2012.222},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/DiazRCCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/DiazRCCA12,
  author       = {Daniel Diaz and
                  Florian Richoux and
                  Philippe Codognet and
                  Yves Caniou and
                  Salvador Abreu},
  editor       = {Youssef Hamadi and
                  Marc Schoenauer},
  title        = {Constraint-Based Local Search for the Costas Array Problem},
  booktitle    = {Learning and Intelligent Optimization - 6th International Conference,
                  {LION} 6, Paris, France, January 16-20, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7219},
  pages        = {378--383},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34413-8\_31},
  doi          = {10.1007/978-3-642-34413-8\_31},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lion/DiazRCCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CaniouDRCA12,
  author       = {Yves Caniou and
                  Daniel Diaz and
                  Florian Richoux and
                  Philippe Codognet and
                  Salvador Abreu},
  editor       = {J. Ramanujam and
                  P. Sadayappan},
  title        = {Performance analysis of parallel constraint-based local search},
  booktitle    = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
                  February 25-29, 2012},
  pages        = {337--338},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2145816.2145883},
  doi          = {10.1145/2145816.2145883},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppopp/CaniouDRCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArbelaezC12,
  author       = {Alejandro Arbelaez and
                  Philippe Codognet},
  editor       = {Alessandro Cimatti and
                  Roberto Sebastiani},
  title        = {Towards Massively Parallel Local Search for {SAT} - (Poster Presentation)},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
                  International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7317},
  pages        = {481--482},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31612-8\_45},
  doi          = {10.1007/978-3-642-31612-8\_45},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/ArbelaezC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-4287,
  author       = {Charlotte Truchet and
                  Florian Richoux and
                  Philippe Codognet},
  title        = {Prediction of Parallel Speed-ups for Las Vegas Algorithms},
  journal      = {CoRR},
  volume       = {abs/1212.4287},
  year         = {2012},
  url          = {http://arxiv.org/abs/1212.4287},
  eprinttype    = {arXiv},
  eprint       = {1212.4287},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-4287.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/CodognetUH12,
  author       = {Philippe Codognet and
                  Kazunori Ueda and
                  Hiroshi Hosobe},
  title        = {Parallel Methods for Constraint Solving and Combinatorial Optimization
                  {(NII} Shonan Meeting 2012-5)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2012},
  year         = {2012},
  url          = {https://shonan.nii.ac.jp/seminars/014/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/CodognetUH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CaniouCDA11,
  author       = {Yves Caniou and
                  Philippe Codognet and
                  Daniel Diaz and
                  Salvador Abreu},
  editor       = {Peter Merz and
                  Jin{-}Kao Hao},
  title        = {Experiments in Parallel Constraint-Based Local Search},
  booktitle    = {Evolutionary Computation in Combinatorial Optimization - 11th European
                  Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6622},
  pages        = {96--107},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20364-0\_9},
  doi          = {10.1007/978-3-642-20364-0\_9},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/evoW/CaniouCDA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CaniouC11,
  author       = {Yves Caniou and
                  Philippe Codognet},
  title        = {Communication in Parallel Algorithms for Constraint-Based Local Search},
  booktitle    = {25th {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings},
  pages        = {1961--1970},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IPDPS.2011.357},
  doi          = {10.1109/IPDPS.2011.357},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/CaniouC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CaniouCDA11,
  author       = {Yves Caniou and
                  Philippe Codognet and
                  Daniel Diaz and
                  Salvador Abreu},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Parallel constraint-based local search on the {HA8000} supercomputer
                  (abstract)},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {920--921},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982386},
  doi          = {10.1145/1982185.1982386},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/CaniouCDA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMace/Codognet10,
  author       = {Philippe Codognet},
  editor       = {Victor R. L. Shen and
                  Henry Been{-}Lirn Duh and
                  Masahiko Inami and
                  Michael Haller and
                  Yoshifumi Kitamura},
  title        = {Digital collages},
  booktitle    = {Proceedings of the 7th International Conference on Advances in Computer
                  Entertainment Technology, {ACE} 2010, Taipei, Taiwan, November 17-19,
                  2010},
  pages        = {79--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1971630.1971654},
  doi          = {10.1145/1971630.1971654},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMace/Codognet10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CodognetP10,
  author       = {Philippe Codognet and
                  Olivier Pasquet},
  editor       = {Cecilia Di Chio and
                  Anthony Brabazon and
                  Gianni A. Di Caro and
                  Marc Ebner and
                  Muddassar Farooq and
                  Andreas Fink and
                  J{\"{o}}rn Grahl and
                  Gary Greenfield and
                  Penousal Machado and
                  Michael O'Neill and
                  Ernesto Tarantino and
                  Neil Urquhart},
  title        = {Sound Agents},
  booktitle    = {Applications of Evolutionary Computation, EvoApplications 2010: EvoCOMNET,
                  EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey,
                  April 7-9, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6025},
  pages        = {391--400},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12242-2\_40},
  doi          = {10.1007/978-3-642-12242-2\_40},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/evoW/CodognetP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/DiazAC10,
  author       = {Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  editor       = {Mohammed Essaaidi and
                  Michele Malgeri and
                  Costin Badica},
  title        = {Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture},
  booktitle    = {Intelligent Distributed Computing {IV} - Proceedings of the 4th International
                  Symposium on Intelligent Distributed Computing - {IDC} 2010, Tangier,
                  Morocco, September 2010},
  volume       = {315},
  pages        = {265--274},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15211-5\_28},
  doi          = {10.1007/978-3-642-15211-5\_28},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/idc/DiazAC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DubnovC10,
  author       = {Shlomo Dubnov and
                  Philippe Codognet},
  editor       = {Ryohei Nakatsu and
                  Naoko Tosa and
                  Fazel Naghdy and
                  Kok Wai Wong and
                  Philippe Codognet},
  title        = {Opening the Can: Public Interaction with Ready-Made Contents},
  booktitle    = {Cultural Computing - Second {IFIP} {TC} 14 Entertainment Computing
                  Symposium, {ECS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {333},
  pages        = {179--189},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15214-6\_18},
  doi          = {10.1007/978-3-642-15214-6\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip/DubnovC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/2010ecs,
  editor       = {Ryohei Nakatsu and
                  Naoko Tosa and
                  Fazel Naghdy and
                  Kok Wai Wong and
                  Philippe Codognet},
  title        = {Cultural Computing - Second {IFIP} {TC} 14 Entertainment Computing
                  Symposium, {ECS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {333},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15214-6},
  doi          = {10.1007/978-3-642-15214-6},
  isbn         = {978-3-642-15213-9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/2010ecs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-2496,
  author       = {Daniel Diaz and
                  Salvador Abreu and
                  Philippe Codognet},
  title        = {On the Implementation of {GNU} Prolog},
  journal      = {CoRR},
  volume       = {abs/1012.2496},
  year         = {2010},
  url          = {http://arxiv.org/abs/1012.2496},
  eprinttype    = {arXiv},
  eprint       = {1012.2496},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-2496.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/BistarelliCHL09,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  H. K. C. Hui and
                  Jimmy Ho{-}Man Lee},
  title        = {Solving finite domain constraint hierarchies by local consistency
                  and tree search},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {21},
  number       = {4},
  pages        = {233--257},
  year         = {2009},
  url          = {https://doi.org/10.1080/09528130802667690},
  doi          = {10.1080/09528130802667690},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/BistarelliCHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ism/CodognetP09,
  author       = {Philippe Codognet and
                  Olivier Pasquet},
  title        = {Swarm Intelligence for Generative Music},
  booktitle    = {11th {IEEE} International Symposium on Multimedia, {ISM} 2009, San
                  Diego, California, USA, December 14-16, 2009},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISM.2009.38},
  doi          = {10.1109/ISM.2009.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ism/CodognetP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-1264,
  author       = {Salvador Abreu and
                  Daniel Diaz and
                  Philippe Codognet},
  editor       = {Yves Deville and
                  Christine Solnon},
  title        = {Parallel local search for solving Constraint Problems on the Cell
                  Broadband Engine (Preliminary Results)},
  booktitle    = {Proceedings 6th International Workshop on Local Search Techniques
                  in Constraint Satisfaction, {LSCS} 2009, Lisbon, Portugal, 20 September
                  2009},
  series       = {{EPTCS}},
  volume       = {5},
  pages        = {97--111},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.5.8},
  doi          = {10.4204/EPTCS.5.8},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-1264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/CodognetN08,
  author       = {Philippe Codognet and
                  Gilbert Nouno},
  editor       = {Artur Lugmayr and
                  Thomas Risse and
                  Bj{\"{o}}rn Stockleben and
                  Juha Kaario and
                  Kari Laurila},
  title        = {Red light spotters: images-driven sound and rhythm landscape},
  booktitle    = {Proceedings of the 1st {ACM} Workshop on Semantic Ambient Media Experiences,
                  {SAME} 2008, Vancouver, British Columbia, Canada, October 31, 2008},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1461912.1461926},
  doi          = {10.1145/1461912.1461926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mm/CodognetN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/Codognet08,
  author       = {Philippe Codognet},
  editor       = {Abdulmotaleb El{-}Saddik and
                  Son Vuong and
                  Carsten Griwodz and
                  Alberto Del Bimbo and
                  K. Sel{\c{c}}uk Candan and
                  Alejandro Jaimes},
  title        = {The palimpsest system},
  booktitle    = {Proceedings of the 16th International Conference on Multimedia 2008,
                  Vancouver, British Columbia, Canada, October 26-31, 2008},
  pages        = {969--972},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1459359.1459535},
  doi          = {10.1145/1459359.1459535},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mm/Codognet08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HosobeSC07,
  author       = {Hiroshi Hosobe and
                  Ken Satoh and
                  Philippe Codognet},
  title        = {Agent-Based Speculative Constraint Processing},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {90-D},
  number       = {9},
  pages        = {1354--1362},
  year         = {2007},
  url          = {https://doi.org/10.1093/ietisy/e90-d.9.1354},
  doi          = {10.1093/IETISY/E90-D.9.1354},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/HosobeSC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/TruchetC04,
  author       = {Charlotte Truchet and
                  Philippe Codognet},
  title        = {Musical constraint satisfaction problems solved with adaptive search},
  journal      = {Soft Comput.},
  volume       = {8},
  number       = {9},
  pages        = {633--640},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00500-004-0389-0},
  doi          = {10.1007/S00500-004-0389-0},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/TruchetC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CodognetR03,
  author       = {Philippe Codognet and
                  Francesca Rossi},
  title        = {Guest Editorial},
  journal      = {Constraints An Int. J.},
  volume       = {8},
  number       = {1},
  pages        = {5--7},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1021994510966},
  doi          = {10.1023/A:1021994510966},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/CodognetR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/RichardCG03,
  author       = {Nadine Richard and
                  Philippe Codognet and
                  Alain Grumbach},
  title        = {Cr{\'{e}}atures virtuelle},
  journal      = {Tech. Sci. Informatiques},
  volume       = {22},
  number       = {2},
  pages        = {221--243},
  year         = {2003},
  url          = {https://doi.org/10.3166/tsi.22.221-243},
  doi          = {10.3166/TSI.22.221-243},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/RichardCG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BistarelliCHL03,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Kin Chuen Hui and
                  Jimmy Ho{-}Man Lee},
  editor       = {Francesca Rossi},
  title        = {Solving Finite Domain Constraint Hierarchies by Local Consistency
                  and Tree Search},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_10},
  doi          = {10.1007/978-3-540-45193-8\_10},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BistarelliCHL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BistarelliCHL03,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Kin Chuen Hui and
                  Jimmy Ho{-}Man Lee},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Solving Finite Domain Constraint Hierarchies by Local Consistency
                  and Tree Search},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {1364--1365},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/200.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BistarelliCHL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SatohCH03,
  author       = {Ken Satoh and
                  Philippe Codognet and
                  Hiroshi Hosobe},
  editor       = {Jaeho Lee and
                  Mike Barley},
  title        = {Speculative Constraint Processing in Multi-agent Systems},
  booktitle    = {Intelligent Agents and Multi-Agent Systems, 6th Pacific Rim International
                  Workshop on Multi-Agents, {PRIMA} 2003, Seoul, Korea, November 7-8,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2891},
  pages        = {133--144},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39896-7\_12},
  doi          = {10.1007/978-3-540-39896-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/SatohCH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarayCDM03,
  author       = {Fabrice Baray and
                  Philippe Codognet and
                  Daniel Diaz and
                  Henri Michel},
  editor       = {Hubert Garavel and
                  John Hatcliff},
  title        = {Code-Based Test Generation for Validation of Functional Processor
                  Descriptions},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  9th International Conference, {TACAS} 2003, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2619},
  pages        = {569--584},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36577-X\_41},
  doi          = {10.1007/3-540-36577-X\_41},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BarayCDM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BistarelliCR02,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Francesca Rossi},
  title        = {Abstracting soft constraints: Framework, properties, examples},
  journal      = {Artif. Intell.},
  volume       = {139},
  number       = {2},
  pages        = {175--211},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0004-3702(02)00208-4},
  doi          = {10.1016/S0004-3702(02)00208-4},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BistarelliCR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/advis/Codognet02,
  author       = {Philippe Codognet},
  editor       = {Tatyana M. Yakhno},
  title        = {Intelligent Agents in Virtual Worlds},
  booktitle    = {Advances in Information Systems, Second International Conference,
                  {ADVIS} 2002, Izmir, Turkey, October 23-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2457},
  pages        = {242--243},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36077-8\_24},
  doi          = {10.1007/3-540-36077-8\_24},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/advis/Codognet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwec/Codognet02,
  author       = {Philippe Codognet},
  editor       = {Ryohei Nakatsu and
                  Jun'ichi Hoshino},
  title        = {Multi-goal path-finding for autonomous agents in virtual worlds},
  booktitle    = {Entertainment Computing: Technologies and Applications, {IFIP} First
                  International Workshop on Entertainment Computing {(IWEC} 2002), May
                  14-17, 2002, Makuhari, Japan},
  series       = {{IFIP} Conference Proceedings},
  volume       = {240},
  pages        = {23--30},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 17 Mar 2003 16:13:59 +0100},
  biburl       = {https://dblp.org/rec/conf/iwec/Codognet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PachetC01,
  author       = {Fran{\c{c}}ois Pachet and
                  Philippe Codognet},
  title        = {Introduction to the Special Issue on Constraints for Multimedia Artistic
                  Applications},
  journal      = {Constraints An Int. J.},
  volume       = {6},
  number       = {1},
  pages        = {5--6},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1009859408542},
  doi          = {10.1023/A:1009859408542},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/PachetC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DiazC01,
  author       = {Daniel Diaz and
                  Philippe Codognet},
  title        = {Design and Implementation of the {GNU} Prolog System},
  journal      = {J. Funct. Log. Program.},
  volume       = {2001},
  number       = {6},
  year         = {2001},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jflp/DiazC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/TruchetAC01,
  author       = {Charlotte Truchet and
                  G{\'{e}}rard Assayag and
                  Philippe Codognet},
  title        = {Visual and Adaptive Constraint Programming in Music},
  booktitle    = {Proceedings of the 2001 International Computer Music Conference, {ICMC}
                  2001, Havana, Cuba, September 17-22, 2001},
  publisher    = {Michigan Publishing},
  year         = {2001},
  url          = {https://hdl.handle.net/2027/spo.bbp2372.2001.033},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmc/TruchetAC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iva/RichardCG01,
  author       = {Nadine Richard and
                  Philippe Codognet and
                  Alain Grumbach},
  editor       = {Ang{\'{e}}lica de Antonio and
                  Ruth Aylett and
                  Daniel Ballin},
  title        = {The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars},
  booktitle    = {Intelligent Virtual Agents, Third International Workshop, {IVA} 2001,
                  Madrid, Spain, September 10-11, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2190},
  pages        = {195--209},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44812-8\_16},
  doi          = {10.1007/3-540-44812-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/iva/RichardCG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saga/CodognetD01,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Kathleen Steinh{\"{o}}fel},
  title        = {Yet Another Local Search Method for Constraint Solving},
  booktitle    = {Stochastic Algorithms: Foundations and Applications, International
                  Symposium, {SAGA} 2001 Berlin, Germany, December 13-14, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2264},
  pages        = {73--90},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45322-9\_5},
  doi          = {10.1007/3-540-45322-9\_5},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saga/CodognetD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2001,
  editor       = {Philippe Codognet},
  title        = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
                  Cyprus, November 26 - December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2237},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45635-X},
  doi          = {10.1007/3-540-45635-X},
  isbn         = {3-540-42935-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfplc/2001,
  editor       = {Philippe Codognet},
  title        = {Programmation en logique avec contraintes, Actes des JFPLC'2001, 24
                  avril - 27 avril 2001, Cit{\'{e}} des sciences et de l'industrie,
                  Paris, France},
  publisher    = {Hermes},
  year         = {2001},
  isbn         = {2-7462-0255-7},
  timestamp    = {Sat, 23 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DiazC00,
  author       = {Daniel Diaz and
                  Philippe Codognet},
  editor       = {Enrico Pontelli and
                  V{\'{\i}}tor Santos Costa},
  title        = {{GNU} Prolog: Beyond Compiling Prolog to {C}},
  booktitle    = {Practical Aspects of Declarative Languages, Second International Workshop,
                  {PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1753},
  pages        = {81--92},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46584-7\_6},
  doi          = {10.1007/3-540-46584-7\_6},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/DiazC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BistarelliCGR00,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Yan Georget and
                  Francesca Rossi},
  editor       = {Enrico Pontelli and
                  V{\'{\i}}tor Santos Costa},
  title        = {Labeling and Partial Local Consistency for Soft Constraint Programming},
  booktitle    = {Practical Aspects of Declarative Languages, Second International Workshop,
                  {PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1753},
  pages        = {230--248},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46584-7\_16},
  doi          = {10.1007/3-540-46584-7\_16},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/BistarelliCGR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DiazC00,
  author       = {Daniel Diaz and
                  Philippe Codognet},
  editor       = {Barrett R. Bryant and
                  Janice H. Carroll and
                  Ernesto Damiani and
                  Hisham Haddad and
                  Dave Oppenheim},
  title        = {The {GNU} Prolog System and its Implementation},
  booktitle    = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
                  Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
                  19-21, 2000. Volume 2},
  pages        = {728--732},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/338407.338553},
  doi          = {10.1145/338407.338553},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/DiazC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BistarelliCR00,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Francesca Rossi},
  editor       = {Berthe Y. Choueiry and
                  Toby Walsh},
  title        = {An Abstraction Framework for Soft Constraints and Its Relationship
                  with Constraint Propagation},
  booktitle    = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
                  {SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1864},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44914-0\_5},
  doi          = {10.1007/3-540-44914-0\_5},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/BistarelliCR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Codognet00,
  author       = {Philippe Codognet},
  editor       = {Slim Abdennadher and
                  Ulrich Geske and
                  Dietmar Seipel},
  title        = {A Constraint - Based Language for Autonomous Agents in Virtual Worlds},
  booktitle    = {{WLP} 2000, 15th Workshop on Logic Programming and Constraint Systems,
                  Collocated {ECAI} 2000 Workshop, Berlin, August 25-27, 2000},
  series       = {{GMD} Report},
  volume       = {110},
  pages        = {25--26},
  year         = {2000},
  timestamp    = {Tue, 20 Aug 2019 09:23:38 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Codognet00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GeorgetCR99,
  author       = {Yan Georget and
                  Philippe Codognet and
                  Francesca Rossi},
  title        = {Constraint Retraction in {CLP(FD):} Formal Framework and Performance
                  Results},
  journal      = {Constraints An Int. J.},
  volume       = {4},
  number       = {1},
  pages        = {5--42},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1009893626769},
  doi          = {10.1023/A:1009893626769},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GeorgetCR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BistarelliCGR99,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Yan Georget and
                  Fabio Rossi},
  editor       = {Maria Chiara Meo and
                  Manuel Vilares Ferro},
  title        = {Labeling and Partial Arc Consistency for Soft Constraints},
  booktitle    = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
                  Italy, September 6-9, 1999},
  pages        = {121--136},
  year         = {1999},
  timestamp    = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BistarelliCGR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Codognet99,
  author       = {Philippe Codognet},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {A Constraint-Based Language for Virtual Agents},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {17--39},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_2},
  doi          = {10.1007/3-540-44654-0\_2},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/Codognet99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/BistarelliCGR99,
  author       = {Stefano Bistarelli and
                  Philippe Codognet and
                  Yan Georget and
                  Francesca Rossi},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Abstracting Soft Constraints},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {108--133},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_6},
  doi          = {10.1007/3-540-44654-0\_6},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/BistarelliCGR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/RichardCG99,
  author       = {Nadine Richard and
                  Philippe Codognet and
                  Alain Grumbach},
  editor       = {Maria Alberta Alberti and
                  Giovanni Gallo and
                  Ivan Jel{\'{\i}}nek},
  title        = {The InViWo virtual agents},
  booktitle    = {20th Annual Conference of the European Association for Computer Graphics,
                  Eurographics 1999 - Short Presentations, Milan, Italy, September 7-11,
                  1999},
  publisher    = {Eurographics Association},
  year         = {1999},
  url          = {https://doi.org/10.2312/egs.19991046},
  doi          = {10.2312/EGS.19991046},
  timestamp    = {Wed, 08 Jul 2020 17:50:24 +0200},
  biburl       = {https://dblp.org/rec/conf/eurographics/RichardCG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/RichardCG99,
  author       = {Nadine Richard and
                  Philippe Codognet and
                  Alain Grumbach},
  editor       = {Marie{-}Pierre Gleizes and
                  Pierre Marcenac},
  title        = {Mondes virtuels et syst{\`{e}}mes multi-agents (poster)},
  booktitle    = {Ing{\'{e}}nierie des syst{\`{e}}mes Multi-Agents - {JFIADSMA}
                  99 - septi{\`{e}}me journ{\'{e}}es francophones d'Intelligence
                  Artificielle et syst{\`{e}}mes multi-agents, Le R{\'{e}}cif,
                  Saint Gilles, Ile de la R{\'{e}}union, France, November 8-10,
                  1999},
  pages        = {345--346},
  publisher    = {Herm{\`{e}}s Lavoisier Editions},
  year         = {1999},
  timestamp    = {Mon, 07 Oct 2019 16:15:29 +0200},
  biburl       = {https://dblp.org/rec/conf/jfsma/RichardCG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/Codognet99,
  author       = {Philippe Codognet},
  editor       = {Jodi Giroux and
                  Anne Richardson and
                  Jill Smolin},
  title        = {Declarative behaviors for virtual creatures},
  booktitle    = {Proceedings of the 26th Annual Conference on Computer Graphics and
                  Interactive Techniques, {SIGGRAPH} 1999, Los Angeles, CA, USA, August
                  8-13, 1999, Abstracts and Applications},
  pages        = {237},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/311625.312127},
  doi          = {10.1145/311625.312127},
  timestamp    = {Tue, 06 Nov 2018 16:59:19 +0100},
  biburl       = {https://dblp.org/rec/conf/siggraph/Codognet99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Codognet99,
  author       = {Philippe Codognet},
  title        = {An Historical Account of Indexical Images: from Ancient Art to the
                  Web},
  booktitle    = {1999 {IEEE} Symposium on Visual Languages, {VL} 1999, Tokyo, Japan,
                  September 13-16, 1999, Proceedings},
  pages        = {104--110},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/VL.1999.795881},
  doi          = {10.1109/VL.1999.795881},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/Codognet99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Codognet98,
  author       = {Philippe Codognet},
  title        = {Foreword: Concurrent Constraint Programming},
  journal      = {Sci. Comput. Program.},
  volume       = {30},
  number       = {1-2},
  pages        = {1--2},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00005-1},
  doi          = {10.1016/S0167-6423(97)00005-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Codognet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GeorgetC98,
  author       = {Yan Georget and
                  Philippe Codognet},
  editor       = {Michael J. Maher and
                  Jean{-}Francois Puget},
  title        = {Compiling Semiring-Based Constraints with clp (FD, {S)}},
  booktitle    = {Principles and Practice of Constraint Programming - CP98, 4th International
                  Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1520},
  pages        = {205--219},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49481-2\_16},
  doi          = {10.1007/3-540-49481-2\_16},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GeorgetC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/RichardCG98,
  author       = {Nadine Richard and
                  Philippe Codognet and
                  Alain Grumbach},
  title        = {Using constraints to describe high-level behaviours in virtual worlds},
  booktitle    = {19th Annual Conference of the European Association for Computer Graphics,
                  Eurographics 1998 - Short Presentations, Lisbon, Portugal, August
                  31 - September 4, 1998},
  publisher    = {Eurographics Association},
  year         = {1998},
  url          = {https://doi.org/10.2312/egs.19981012},
  doi          = {10.2312/EGS.19981012},
  timestamp    = {Wed, 08 Jul 2020 17:50:24 +0200},
  biburl       = {https://dblp.org/rec/conf/eurographics/RichardCG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GeorgetC98,
  author       = {Yan Georget and
                  Philippe Codognet},
  title        = {Encoding global constraints in semiring-based constraint solving},
  booktitle    = {Tenth {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '98, Taipei, Taiwan, November 10-12, 1998},
  pages        = {400--407},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/TAI.1998.744878},
  doi          = {10.1109/TAI.1998.744878},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/GeorgetC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Codognet97,
  author       = {Philippe Codognet},
  title        = {The Virtuality of Constraints and the Constraints of Virtuality},
  journal      = {Constraints An Int. J.},
  volume       = {2},
  number       = {1},
  pages        = {45--49},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1009744905859},
  doi          = {10.1023/A:1009744905859},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/Codognet97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GeorgetCR97,
  author       = {Yan Georget and
                  Philippe Codognet and
                  Francesca Rossi},
  editor       = {R. K. Shyamasundar and
                  Kazunori Ueda},
  title        = {Implementing Constraint Retraction for Finite Domains},
  booktitle    = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
                  Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1345},
  pages        = {136--150},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63875-X\_49},
  doi          = {10.1007/3-540-63875-X\_49},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asian/GeorgetCR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ChaillouxC97,
  author       = {Emmanuel Chailloux and
                  Philippe Codognet},
  title        = {Toward Visual Constraint Programming},
  booktitle    = {Proceedings 1997 {IEEE} Symposium on Visual Languages, Isle of Capri,
                  Italy, September 23-26, 1997},
  pages        = {424--425},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/VL.1997.626614},
  doi          = {10.1109/VL.1997.626614},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/ChaillouxC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Codognet96,
  author       = {Philippe Codognet},
  title        = {The Virtuality of Constraints and the Constraints of Virtuality},
  journal      = {{ACM} Comput. Surv.},
  volume       = {28},
  number       = {4es},
  pages        = {60},
  year         = {1996},
  url          = {https://doi.org/10.1145/242224.242301},
  doi          = {10.1145/242224.242301},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Codognet96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CodognetD96,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  title        = {A Simple and Efficient Boolean Solver for Constraint Logic Programming},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {97--129},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247670},
  doi          = {10.1007/BF00247670},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/CodognetD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodognetD96,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  title        = {Compiling Constraints in clp(FD)},
  journal      = {J. Log. Program.},
  volume       = {27},
  number       = {3},
  pages        = {185--226},
  year         = {1996},
  url          = {https://doi.org/10.1016/0743-1066(95)00121-2},
  doi          = {10.1016/0743-1066(95)00121-2},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CodognetD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CodognetDR96,
  author       = {Philippe Codognet and
                  Daniel Diaz and
                  Francesca Rossi},
  editor       = {Vijay Chandru and
                  V. Vinay},
  title        = {Constraint Reaction in {FD}},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1180},
  pages        = {168--179},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-62034-6\_47},
  doi          = {10.1007/3-540-62034-6\_47},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CodognetDR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CodognetC95a,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Manfred Meyer},
  title        = {A Generalized Semantics for Concurrent Constraint Languages and their
                  Abstract Interpretation},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {39--49},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_17},
  doi          = {10.1007/3-540-59479-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CodognetC95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CodognetC95,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Ugo Montanari and
                  Francesca Rossi},
  title        = {Guarded Constructive Disjunction: Angel or Demon?},
  booktitle    = {Principles and Practice of Constraint Programming - CP'95, First International
                  Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {976},
  pages        = {345--361},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60299-2\_21},
  doi          = {10.1007/3-540-60299-2\_21},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CodognetC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetD95,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Leon Sterling},
  title        = {{WAMCC:} Compiling Prolog to {C}},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {317--331},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetR95,
  author       = {Philippe Codognet and
                  Francesca Rossi},
  editor       = {Leon Sterling},
  title        = {{NMCC} Programming: Constraint Enforcement and Retracting in {CC}
                  Programming},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {417--431},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CodognetD95,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Jean{-}Jacques Chabrier},
  title        = {The clp(FD) system},
  booktitle    = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
                  par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
                  France},
  pages        = {357--360},
  year         = {1995},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccp2/1995,
  editor       = {Agostino Cortesi and
                  Philippe Codognet},
  title        = {First International Workshop on Concurrent Constraint Programming,
                  {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
  publisher    = {{INRIA} Rocquencourt},
  year         = {1995},
  timestamp    = {Tue, 18 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccp2/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/KergommeauxC94,
  author       = {Jacques Chassin de Kergommeaux and
                  Philippe Codognet},
  title        = {Parallel Logic Programming Systems},
  journal      = {{ACM} Comput. Surv.},
  volume       = {26},
  number       = {3},
  pages        = {295--336},
  year         = {1994},
  url          = {https://doi.org/10.1145/185403.185453},
  doi          = {10.1145/185403.185453},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/KergommeauxC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/CodognetN94,
  author       = {Philippe Codognet and
                  Giuseppe Nardiello},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {Path Consistency in clp(FD)},
  booktitle    = {Constraints in Computational Logics, First International Conference,
                  CCL'94, Munich, Germany, September 7-9, 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {845},
  pages        = {201--216},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0016854},
  doi          = {10.1007/BFB0016854},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ccl/CodognetN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CodognetC94,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Anthony G. Cohn},
  title        = {Abduction and Concurrent Logic Languages},
  booktitle    = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
                  Amsterdam, The Netherlands, August 8-12, 1994},
  pages        = {75--79},
  publisher    = {John Wiley and Sons, Chichester},
  year         = {1994},
  timestamp    = {Tue, 20 Jun 2023 09:03:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/CodognetC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChaillouxCC94,
  author       = {Emmanuel Chailloux and
                  Christian Codognet and
                  Philippe Codognet},
  title        = {Finite Domain Constraints in the {ML} Functional Language},
  booktitle    = {Sixth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '94, New Orleans, Louisiana, USA, November 6-9, 1994},
  pages        = {784--787},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/TAI.1994.346401},
  doi          = {10.1109/TAI.1994.346401},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ChaillouxCC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Codognet94,
  author       = {Philippe Codognet},
  editor       = {Marc{-}Michel Corsini},
  title        = {Programmation Concurrente avec Contraintes},
  booktitle    = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  Logique et Programmation par Contraintes, 1994, Bordeaux, France},
  pages        = {309--310},
  year         = {1994},
  timestamp    = {Mon, 07 Jun 2004 11:16:21 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Codognet94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CodognetD94,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Manuel V. Hermenegildo and
                  Jaan Penjam},
  title        = {clp(B): Combining Simplicity and Efficiency in Boolean Constraint
                  Solving},
  booktitle    = {Programming Language Implementation and Logic Programming, 6th International
                  Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {844},
  pages        = {244--260},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58402-1\_18},
  doi          = {10.1007/3-540-58402-1\_18},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plilp/CodognetD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CodognetCLQ94,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Vincenzo Loia and
                  Michel Quaggetto},
  editor       = {Manuel V. Hermenegildo and
                  Jaan Penjam},
  title        = {Sleepers: {A} Versatile High-Level Control Mechanism},
  booktitle    = {Programming Language Implementation and Logic Programming, 6th International
                  Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {844},
  pages        = {308--323},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58402-1\_22},
  doi          = {10.1007/3-540-58402-1\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/CodognetCLQ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/lncs/CodognetN94,
  author       = {Philippe Codognet and
                  Giuseppe Nardiello},
  editor       = {Andreas Podelski},
  title        = {Enhancing the Constraint-Solving Power of {CLP(FD)} by Means of Path-Consistency
                  Methods},
  booktitle    = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
                  School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {910},
  pages        = {39--61},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-59155-9\_3},
  doi          = {10.1007/3-540-59155-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/CodognetN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DoreC93,
  author       = {Giovanna M. Dore and
                  Philippe Codognet},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {A Prototype Compiler for Prolog with Boolean Constraints},
  booktitle    = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
                  June 15-18, 1993},
  pages        = {157--172},
  year         = {1993},
  timestamp    = {Thu, 02 Dec 2004 11:00:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/DoreC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetD93,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Boolean Constraint Solving Using clp(FD)},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DiazC93,
  author       = {Daniel Diaz and
                  Philippe Codognet},
  editor       = {David Scott Warren},
  title        = {A Minimal Extension of the {WAM} for clp(FD)},
  booktitle    = {Logic Programming, Proceedings of the Tenth International Conference
                  on Logic Programming, Budapest, Hungary, June 21-25, 1993},
  pages        = {774--790},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/DiazC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/MenezesBC93,
  author       = {Francisco Menezes and
                  Pedro Barahona and
                  Philippe Codognet},
  title        = {An Incremental Hierarchical Constraint Solver},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {190--199},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/MenezesBC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CodognetD93,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Dale Miller},
  title        = {Boolean Constraint Solving Using clp(FD)},
  booktitle    = {Logic Programming, Proceedings of the 1993 International Symposium,
                  Vancouver, British Columbia, Canada, October 26-29, 1993},
  pages        = {525--539},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/CodognetD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/CodognetF92,
  author       = {Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  editor       = {James R. Cordy and
                  Mario Barbacci},
  title        = {Computations, abstractions and constraints in logic programs},
  booktitle    = {ICCL'92, Proceedings of the 1992 International Conference on Computer
                  Languages, Oakland, California, USA, 20-23 Apr 1992},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/ICCL.1992.185478},
  doi          = {10.1109/ICCL.1992.185478},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl/CodognetF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AbreuPC92,
  author       = {Salvador Abreu and
                  Lu{\'{\i}}s Moniz Pereira and
                  Philippe Codognet},
  editor       = {Krzysztof R. Apt},
  title        = {Improving Backward Execution in the Andorra Family of Languages},
  booktitle    = {Logic Programming, Proceedings of the Joint International Conference
                  and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
                  USA, November 1992},
  pages        = {384--398},
  publisher    = {{MIT} Press},
  year         = {1992},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AbreuPC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetS91,
  author       = {Philippe Codognet and
                  Thierry Sola},
  editor       = {Koichi Furukawa},
  title        = {Extending the {WAM} for Intelligent Backtracking},
  booktitle    = {Logic Programming, Proceedings of the Eigth International Conference,
                  Paris, France, June 24-28, 1991},
  pages        = {127--141},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CodognetF91,
  author       = {Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Computations, Abstractions and Constraints (abstract)},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {70--71},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CodognetF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CodognetFS91,
  author       = {Philippe Codognet and
                  Fran{\c{c}}ois Fages and
                  Thierry Sola},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {A Metalevel Compiler of {CLP(FD)} and Its Combination with Intelligent
                  Backtracking},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {437--456},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 16:42:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/CodognetFS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Codognet90,
  author       = {Philippe Codognet},
  editor       = {Shunro Watanabe and
                  Morio Nagata},
  title        = {Equations, Disequations and Unsolvable Subsets (abstract)},
  booktitle    = {Proceedings of the International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '90, Tokyo, Japan, August 20-24, 1990},
  pages        = {289},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/96877.96956},
  doi          = {10.1145/96877.96956},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Codognet90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CodognetCC90,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Marc{-}Michel Corsini},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Abstract Interpretation from Prolog to Concurrent Prolog},
  booktitle    = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
  pages        = {351--370},
  year         = {1990},
  timestamp    = {Mon, 06 Sep 2004 15:30:15 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetCC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SaveantC90,
  author       = {Pierre Sav{\'{e}}ant and
                  Philippe Codognet},
  title        = {A Metalanguage for Representation and Control in Assumption-based
                  Problem Solvers},
  booktitle    = {SEKE'90, Proceedings of the Second International Conference on Software
                  Engineering and Knowledge Engineering, Skokie, USA, June 21-23, 1990},
  pages        = {159--164},
  publisher    = {Knowledge Systems Institute},
  year         = {1990},
  timestamp    = {Fri, 01 Jun 2007 09:35:26 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/SaveantC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CodognetCC90,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Marc{-}Michel Corsini},
  editor       = {Saumya K. Debray and
                  Manuel V. Hermenegildo},
  title        = {Abstract Interpretation for Concurrent Logic Languages},
  booktitle    = {Logic Programming, Proceedings of the 1990 North American Conference,
                  Austin, Texas, USA, October 29 - November 1, 1990},
  pages        = {215--232},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/CodognetCC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetC89,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Giorgio Levi and
                  Maurizio Martelli},
  title        = {Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking},
  booktitle    = {Logic Programming, Proceedings of the Sixth International Conference,
                  Lisbon, Portugal, June 19-23, 1989},
  pages        = {63--79},
  publisher    = {{MIT} Press},
  year         = {1989},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CodognetC89,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Non-deterministic Stream AND-parallelism based on Intelligent Backtracking},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {423--440},
  year         = {1989},
  timestamp    = {Mon, 06 Sep 2004 15:30:23 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetCF88,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  editor       = {Robert A. Kowalski and
                  Kenneth A. Bowen},
  title        = {Yet Another Intelligent Backtracking Method},
  booktitle    = {Logic Programming, Proceedings of the Fifth International Conference
                  and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages        = {447--465},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Sat, 23 Jun 2018 18:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetCF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CodognetCF88,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Yet another intelligent Backtracking method},
  booktitle    = {SPLT'88, 7\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 25-27 mai 1988, Tr{\'{e}}gastel, France},
  pages        = {317--336},
  year         = {1988},
  timestamp    = {Mon, 06 Sep 2004 15:30:34 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetCF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Codognet87,
  author       = {Philippe Codognet},
  title        = {Programmation logique parall{\`{e}}le 87},
  booktitle    = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
                  1987, Tr{\'{e}}gastel, France},
  pages        = {411--440},
  year         = {1987},
  timestamp    = {Tue, 20 Jul 2004 14:26:49 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Codognet87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CodognetCF86,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  editor       = {Bernard J. Robinet and
                  Reinhard Wilhelm},
  title        = {A Very Intelligent Backtracking Method for Logic Programs},
  booktitle    = {{ESOP} 86, European Symposium on Programming, Saarbr{\"{u}}cken,
                  Federal Republic of Germany, March 17-19, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {213},
  pages        = {315--326},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16442-1\_24},
  doi          = {10.1007/3-540-16442-1\_24},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/CodognetCF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CodognetCF86,
  author       = {Christian Codognet and
                  Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  title        = {Backtracking intelligent en programmation logique},
  booktitle    = {SPLT'86, S{\'{e}}minaire Programmation en Logique, 21-23 mai
                  1986, Tr{\'{e}}gastel, France},
  pages        = {25--50},
  year         = {1986},
  timestamp    = {Thu, 22 Jul 2004 12:41:50 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CodognetCF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics