Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Philippe Codognet
@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 = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jocch/VinayavekhinKSCTM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-08790, author = {Alejandro Arbelaez and Charlotte Truchet and Philippe Codognet}, title = {Using Sequential Runtime Distributions for the Parallel Speedup Prediction of {SAT} Local Search}, journal = {CoRR}, volume = {abs/2403.08790}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.08790}, doi = {10.48550/ARXIV.2403.08790}, eprinttype = {arXiv}, eprint = {2403.08790}, timestamp = {Fri, 05 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-08790.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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.