default search action
Philippe Codognet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j23]Philippe Codognet:
Comparing QUBO models for quantum annealing: integer encodings for permutation problems. Int. Trans. Oper. Res. 32(1): 18-37 (2025) - 2024
- [j22]Phongtharin Vinayavekhin, Banphatree Khomkham, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura:
Identifying Relationships and Classifying Western-style Paintings: Machine Learning Approaches for Artworks by Western Artists and Meiji-era Japanese Artists. ACM Journal on Computing and Cultural Heritage 17(1): 6:1-6:18 (2024) - [c96]Philippe Codognet:
Comparing Integer Encodings in QUBO for Quantum and Digital Annealing: The Travelling Salesman Problem. MIC (1) 2024: 262-267 - [c95]Philippe Codognet:
A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming 2024 - [i4]Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet:
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. CoRR abs/2403.08790 (2024) - 2023
- [c94]Philippe Codognet:
Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem. GECCO Companion 2023: 2195-2202 - [c93]Philippe Codognet:
Quantum Annealing for Constraint Satisfaction and Constrained Optimization. ICAART 2023: 5 - [c92]Florian Richoux, Jean-François Baffier, Philippe Codognet:
Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. ICCS (5) 2023: 153-167 - [c91]Philippe Codognet:
Generating Presence-Absence Matrices by Quantum Annealing. Q-SE@ICSE 2023: 9-15 - 2022
- [c90]Philippe Codognet:
Comparing QUBO Models of the Magic Square Problem for Quantum Annealing. MIC 2022: 470-477 - [c89]Philippe Codognet:
Modeling the Costas Array Problem in QUBO for Quantum Annealing. EvoCOP 2022: 143-158 - [c88]Phongtharin Vinayavekhin, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura:
Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture. ICPR Workshops (3) 2022: 78-92 - [c87]Philippe Codognet:
Domain-Wall / Unary Encoding in QUBO for Permutation Problems. QCE 2022: 167-173 - [c86]Philippe Codognet, Daniel Diaz, Salvador Abreu:
Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW 2022: 1-8 - 2021
- [c85]Philippe Codognet:
Constraint Solving by Quantum Annealing. ICPP Workshops 2021: 25:1-25:10
2010 – 2019
- 2018
- [p1]Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu:
Parallel Local Search. Handbook of Parallel Constraint Reasoning 2018: 381-417 - 2016
- [j21]Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet:
Estimating parallel runtimes for randomized algorithms in constraint solving. J. Heuristics 22(4): 613-648 (2016) - 2015
- [j20]Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu:
Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. 20(1): 30-56 (2015) - [c84]Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet:
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI 2015: 1212-1218 - 2014
- [c83]Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet:
A Parametric Framework for Cooperative Parallel Local Search. EvoCOP 2014: 13-24 - [c82]Yves Caniou, Philippe Codognet:
Dependent Walks in Parallel Local Search. IPDPS Workshops 2014: 1541-1546 - [c81]Alejandro Arbelaez, Philippe Codognet:
A GPU Implementation of Parallel Constraint-Based Local Search. PDP 2014: 648-655 - [c80]Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet:
Flexible cooperation in parallel local search. SAC 2014: 1360-1361 - 2013
- [j19]Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet:
Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Theory Pract. Log. Program. 13(4-5): 625-639 (2013) - [c79]Alejandro Arbelaez, Philippe Codognet:
From Sequential to Parallel Local Search for SAT. EvoCOP 2013: 157-168 - [c78]Charlotte Truchet, Florian Richoux, Philippe Codognet:
Prediction of Parallel Speed-Ups for Las Vegas Algorithms. ICPP 2013: 160-169 - [c77]Yves Caniou, Philippe Codognet:
Sequential and Parallel Restart Policies for Constraint-Based Local Search. IPDPS Workshops 2013: 1754-1763 - 2012
- [j18]Daniel Diaz, Salvador Abreu, Philippe Codognet:
Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. 24(6): 647-660 (2012) - [j17]Philippe Codognet, Olivier Pasquet:
Ambient sound spaces. Multim. Tools Appl. 58(2): 355-370 (2012) - [j16]Daniel Diaz, Salvador Abreu, Philippe Codognet:
On the implementation of GNU Prolog. Theory Pract. Log. Program. 12(1-2): 253-282 (2012) - [c76]Alejandro Arbelaez, Philippe Codognet:
Massively Parallel Local Search for SAT. ICTAI 2012: 57-64 - [c75]Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu:
Parallel Local Search for the Costas Array Problem. IPDPS Workshops 2012: 1793-1802 - [c74]Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu:
Constraint-Based Local Search for the Costas Array Problem. LION 2012: 378-383 - [c73]Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu:
Performance analysis of parallel constraint-based local search. PPoPP 2012: 337-338 - [c72]Alejandro Arbelaez, Philippe Codognet:
Towards Massively Parallel Local Search for SAT - (Poster Presentation). SAT 2012: 481-482 - [i3]Charlotte Truchet, Florian Richoux, Philippe Codognet:
Prediction of Parallel Speed-ups for Las Vegas Algorithms. CoRR abs/1212.4287 (2012) - [i2]Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe:
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [c71]Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu:
Experiments in Parallel Constraint-Based Local Search. EvoCOP 2011: 96-107 - [c70]Yves Caniou, Philippe Codognet:
Communication in Parallel Algorithms for Constraint-Based Local Search. IPDPS Workshops 2011: 1961-1970 - [c69]Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu:
Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC 2011: 920-921 - 2010
- [c68]Philippe Codognet:
Digital collages. Advances in Computer Entertainment Technology 2010: 79-82 - [c67]Philippe Codognet, Olivier Pasquet:
Sound Agents. EvoApplications (2) 2010: 391-400 - [c66]Daniel Diaz, Salvador Abreu, Philippe Codognet:
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010: 265-274 - [c65]Shlomo Dubnov, Philippe Codognet:
Opening the Can: Public Interaction with Ready-Made Contents. ECS 2010: 179-189 - [e4]Ryohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet:
Cultural Computing - Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. IFIP Advances in Information and Communication Technology 333, Springer 2010, ISBN 978-3-642-15213-9 [contents] - [i1]Daniel Diaz, Salvador Abreu, Philippe Codognet:
On the Implementation of GNU Prolog. CoRR abs/1012.2496 (2010)
2000 – 2009
- 2009
- [j15]Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee:
Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. 21(4): 233-257 (2009) - [c64]Philippe Codognet, Olivier Pasquet:
Swarm Intelligence for Generative Music. ISM 2009: 1-8 - [c63]Salvador Abreu, Daniel Diaz, Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). LSCS 2009: 97-111 - 2008
- [c62]Philippe Codognet, Gilbert Nouno:
Red light spotters: images-driven sound and rhythm landscape. SAME 2008: 67-74 - [c61]Philippe Codognet:
The palimpsest system. ACM Multimedia 2008: 969-972 - 2007
- [j14]Hiroshi Hosobe, Ken Satoh, Philippe Codognet:
Agent-Based Speculative Constraint Processing. IEICE Trans. Inf. Syst. 90-D(9): 1354-1362 (2007) - 2004
- [j13]Charlotte Truchet, Philippe Codognet:
Musical constraint satisfaction problems solved with adaptive search. Soft Comput. 8(9): 633-640 (2004) - 2003
- [j12]Philippe Codognet, Francesca Rossi:
Guest Editorial. Constraints An Int. J. 8(1): 5-7 (2003) - [j11]Nadine Richard, Philippe Codognet, Alain Grumbach:
Créatures virtuelle. Tech. Sci. Informatiques 22(2): 221-243 (2003) - [c60]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152 - [c59]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365 - [c58]Ken Satoh, Philippe Codognet, Hiroshi Hosobe:
Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144 - [c57]Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584 - 2002
- [j10]Stefano Bistarelli, Philippe Codognet, Francesca Rossi:
Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002) - [c56]Philippe Codognet:
Intelligent Agents in Virtual Worlds. ADVIS 2002: 242-243 - [c55]Philippe Codognet:
Multi-goal path-finding for autonomous agents in virtual worlds. IWEC 2002: 23-30 - 2001
- [j9]François Pachet, Philippe Codognet:
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications. Constraints An Int. J. 6(1): 5-6 (2001) - [j8]Daniel Diaz, Philippe Codognet:
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001(6) (2001) - [c54]Charlotte Truchet, Gérard Assayag, Philippe Codognet:
Visual and Adaptive Constraint Programming in Music. ICMC 2001 - [c53]Nadine Richard, Philippe Codognet, Alain Grumbach:
The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. IVA 2001: 195-209 - [c52]Philippe Codognet, Daniel Diaz:
Yet Another Local Search Method for Constraint Solving. SAGA 2001: 73-90 - [e3]Philippe Codognet:
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2237, Springer 2001, ISBN 3-540-42935-2 [contents] - [e2]Philippe Codognet:
Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France. Hermes 2001, ISBN 2-7462-0255-7 [contents] - 2000
- [c51]Daniel Diaz, Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92 - [c50]Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248 - [c49]Daniel Diaz, Philippe Codognet:
The GNU Prolog System and its Implementation. SAC (2) 2000: 728-732 - [c48]Stefano Bistarelli, Philippe Codognet, Francesca Rossi:
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA 2000: 71-86 - [c47]Philippe Codognet:
A Constraint - Based Language for Autonomous Agents in Virtual Worlds. WLP 2000: 25-26
1990 – 1999
- 1999
- [j7]Yan Georget, Philippe Codognet, Francesca Rossi:
Constraint Retraction in CLP(FD): Formal Framework and Performance Results. Constraints An Int. J. 4(1): 5-42 (1999) - [c46]Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi:
Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE 1999: 121-136 - [c45]Philippe Codognet:
A Constraint-Based Language for Virtual Agents. New Trends in Constraints 1999: 17-39 - [c44]Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Abstracting Soft Constraints. New Trends in Constraints 1999: 108-133 - [c43]Nadine Richard, Philippe Codognet, Alain Grumbach:
The InViWo virtual agents. Eurographics (Short Presentations) 1999 - [c42]Nadine Richard, Philippe Codognet, Alain Grumbach:
Mondes virtuels et systèmes multi-agents (poster). JFIADSMA 1999: 345-346 - [c41]Philippe Codognet:
Declarative behaviors for virtual creatures. SIGGRAPH Abstracts and Applications 1999: 237 - [c40]Philippe Codognet:
An Historical Account of Indexical Images: from Ancient Art to the Web. VL 1999: 104-110 - 1998
- [j6]Philippe Codognet:
Foreword: Concurrent Constraint Programming. Sci. Comput. Program. 30(1-2): 1-2 (1998) - [c39]Yan Georget, Philippe Codognet:
Compiling Semiring-Based Constraints with clp (FD, S). CP 1998: 205-219 - [c38]Nadine Richard, Philippe Codognet, Alain Grumbach:
Using constraints to describe high-level behaviours in virtual worlds. Eurographics (Short Presentations) 1998 - [c37]Yan Georget, Philippe Codognet:
Encoding global constraints in semiring-based constraint solving. ICTAI 1998: 400-407 - 1997
- [j5]Philippe Codognet:
The Virtuality of Constraints and the Constraints of Virtuality. Constraints An Int. J. 2(1): 45-49 (1997) - [c36]Yan Georget, Philippe Codognet, Francesca Rossi:
Implementing Constraint Retraction for Finite Domains. ASIAN 1997: 136-150 - [c35]Emmanuel Chailloux, Philippe Codognet:
Toward Visual Constraint Programming. VL 1997: 424-425 - 1996
- [j4]Philippe Codognet:
The Virtuality of Constraints and the Constraints of Virtuality. ACM Comput. Surv. 28(4es): 60 (1996) - [j3]Philippe Codognet, Daniel Diaz:
A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reason. 17(1): 97-129 (1996) - [j2]Philippe Codognet, Daniel Diaz:
Compiling Constraints in clp(FD). J. Log. Program. 27(3): 185-226 (1996) - [c34]Philippe Codognet, Daniel Diaz, Francesca Rossi:
Constraint Reaction in FD. FSTTCS 1996: 168-179 - 1995
- [c33]Christian Codognet, Philippe Codognet:
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. Constraint Processing, Selected Papers 1995: 39-49 - [c32]Christian Codognet, Philippe Codognet:
Guarded Constructive Disjunction: Angel or Demon? CP 1995: 345-361 - [c31]Philippe Codognet, Daniel Diaz:
WAMCC: Compiling Prolog to C. ICLP 1995: 317-331 - [c30]Philippe Codognet, Francesca Rossi:
NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP 1995: 417-431 - [c29]Philippe Codognet, Daniel Diaz:
The clp(FD) system. JFPLC 1995: 357-360 - [e1]Agostino Cortesi, Philippe Codognet:
First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995. INRIA Rocquencourt 1995 [contents] - 1994
- [j1]Jacques Chassin de Kergommeaux, Philippe Codognet:
Parallel Logic Programming Systems. ACM Comput. Surv. 26(3): 295-336 (1994) - [c28]Philippe Codognet, Giuseppe Nardiello:
Path Consistency in clp(FD). CCL 1994: 201-216 - [c27]Christian Codognet, Philippe Codognet:
Abduction and Concurrent Logic Languages. ECAI 1994: 75-79 - [c26]Emmanuel Chailloux, Christian Codognet, Philippe Codognet:
Finite Domain Constraints in the ML Functional Language. ICTAI 1994: 784-787 - [c25]Philippe Codognet:
Programmation Concurrente avec Contraintes. JFPLC 1994: 309-310 - [c24]Philippe Codognet, Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260 - [c23]Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto:
Sleepers: A Versatile High-Level Control Mechanism. PLILP 1994: 308-323 - [c22]Philippe Codognet, Giuseppe Nardiello:
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods. Constraint Programming 1994: 39-61 - 1993
- [c21]Giovanna M. Dore, Philippe Codognet:
A Prototype Compiler for Prolog with Boolean Constraints. GULP 1993: 157-172 - [c20]Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming 1993 - [c19]Daniel Diaz, Philippe Codognet:
A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790 - [c18]Francisco Menezes, Pedro Barahona, Philippe Codognet:
An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199 - [c17]Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD). ILPS 1993: 525-539 - 1992
- [c16]Philippe Codognet, Gilberto Filé:
Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164 - [c15]Salvador Abreu, Luís Moniz Pereira, Philippe Codognet:
Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398 - 1991
- [c14]Philippe Codognet, Thierry Sola:
Extending the WAM for Intelligent Backtracking. ICLP 1991: 127-141 - [c13]Philippe Codognet, Gilberto Filé:
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71 - [c12]Philippe Codognet, François Fages, Thierry Sola:
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456 - 1990
- [c11]Philippe Codognet:
Equations, Disequations and Unsolvable Subsets (abstract). ISSAC 1990: 289 - [c10]Christian Codognet, Philippe Codognet, Marc-Michel Corsini:
Abstract Interpretation from Prolog to Concurrent Prolog. SPLT 1990: 351-370 - [c9]Pierre Savéant, Philippe Codognet:
A Metalanguage for Representation and Control in Assumption-based Problem Solvers. SEKE 1990: 159-164 - [c8]Christian Codognet, Philippe Codognet, Marc-Michel Corsini:
Abstract Interpretation for Concurrent Logic Languages. NACLP 1990: 215-232
1980 – 1989
- 1989
- [c7]Christian Codognet, Philippe Codognet:
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ICLP 1989: 63-79 - [c6]Christian Codognet, Philippe Codognet:
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT 1989: 423-440 - 1988
- [c5]Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465 - [c4]Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet another intelligent Backtracking method. SPLT 1988: 317-336 - 1987
- [c3]Philippe Codognet:
Programmation logique parallèle 87. SPLT 1987: 411-440 - 1986
- [c2]Christian Codognet, Philippe Codognet, Gilberto Filé:
A Very Intelligent Backtracking Method for Logic Programs. ESOP 1986: 315-326 - [c1]Christian Codognet, Philippe Codognet, Gilberto Filé:
Backtracking intelligent en programmation logique. SPLT 1986: 25-50
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint