Search - Université Paris 1 Panthéon-Sorbonne Access content directly

Filter your results

34 Results
authFullName_s : Philippe Codognet

The Adaptive Search Method for Constraint Solving and its application to musical CSPs

Philippe Codognet , Daniel Diaz , Charlotte Truchet
International Workshop on Heuristics, 2002, Beijing, China. 9 p
Conference papers hal-00668300v1

A Local Search Method for Constraint Solving

Philippe Codognet , Daniel Diaz
AAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46
Conference papers hal-00668309v1

The GNU Prolog System and its Implementation

Daniel Diaz , Philippe Codognet
ACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND
Conference papers hal-00667976v1

Yet Another Local Search Method for Constraint Solving

Philippe Codognet , Daniel Diaz
Stochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩
Conference papers istex hal-00667941v1
Image document

A Parametric Framework for Cooperative Parallel Local Search

Danny Munera , Daniel Diaz , Salvador Abreu , Philippe Codognet
European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩
Conference papers hal-01117524v1
Image document

A Local Search Algorithm for SMTI and its extension to HRT Problems

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat , et al.
3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom
Conference papers hal-01144208v1
Image document

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat , et al.
29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States
Conference papers hal-01144214v1

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture

Daniel Diaz , Salvador Abreu , Philippe Codognet
IDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩
Conference papers hal-00663816v1

On the implementation of GNU Prolog

Daniel Diaz , Salvador Abreu , Philippe Codognet
Theory and Practice of Logic Programming, 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩
Journal articles hal-00665748v1

Constraint Retraction in FD

Philippe Codognet , Daniel Diaz , Francesca Rossi
Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1.1.48.9662⟩
Conference papers hal-00668318v1

A Minimal Extension of the WAM for clp(FD)

Philippe Codognet , Daniel Diaz
International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790
Conference papers hal-00668913v1

Code-based Test Generation for Validation of Functional Processor Descriptions

Fabrice Baray , Philippe Codognet , Daniel Diaz , Henri Michel
9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Apr 2003, Warsaw, Poland. pp.569-584, ⟨10.1007/3-540-36577-X_41⟩
Conference papers hal-00667951v1

Validation of Functional Processor Descriptions by Test Generation

Fabrice Baray , Philippe Codognet , Daniel Diaz , Henri Michel
International Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584
Conference papers hal-00668242v1

Design and Implementation of the GNU Prolog System

Daniel Diaz , Philippe Codognet
Journal of Functional and Logic Programming, 2001, 6, pp.1
Journal articles hal-00693240v1

Constraint-based Local Search For Discrete Optimization

Philippe Codognet , Daniel Diaz
International Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND
Conference papers hal-00668305v1

Experiments in Parallel Constraint-Based Local Search

Yves Caniou , Philippe Codognet , Daniel Diaz , Salvador Abreu
11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩
Conference papers hal-00663789v1

Parallel constraint-based local search on the HA8000 supercomputer (extended abstract)

Yves Caniou , Philippe Codognet , Daniel Diaz , Salvador Abreu
the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩
Conference papers hal-02296485v1
Image document

Large-scale parallelism for constraint-based local search: the costas array case study

Yves Caniou , Philippe Codognet , Florian Richoux , Daniel Diaz , Salvador Abreu
Constraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩
Journal articles hal-01084270v1

GNU Prolog: Beyond Compiling Prolog to C

Daniel Diaz , Philippe Codognet
Practical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92
Conference papers hal-00668314v1

Finite Domain Constraints in Constraint Logic Programming

Philippe Codognet , Daniel Diaz
European Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND
Conference papers hal-00668846v1

clp(B): Combinig Simplicity and Efficiency in Boolean Constraint Solving

Philippe Codognet , Daniel Diaz
Programming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1.1.42.4343⟩
Conference papers hal-00668859v1

Targeting the Cell Broadband Engine for constraint-based local search

Daniel Diaz , Salvador Abreu , Philippe Codognet
Concurrency and Computation: Practice and Experience, 2012, 13 p. ⟨10.1002/cpe.1855⟩
Journal articles hal-00663776v1

Parallel Local Search

Philippe Codognet , Danny Munera , Daniel Diaz , Salvador Abreu
Handbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩
Book sections hal-01511022v1

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)

Salvador Abreu , Philippe Codognet , Daniel Diaz
Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩
Conference papers hal-00663842v1

Performance analysis of parallel constraint-based local search

Yves Caniou , Daniel Diaz , Florian Richoux , Philippe Codognet , Salvador Abreu
Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩
Conference papers hal-00693266v1
Image document

Flexible cooperation in parallel local search (extended abstract)

Danny Munera , Daniel Diaz , Salvador Abreu , Philippe Codognet
ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩
Conference papers hal-01117539v1

Quantum and Digital Annealing for the Quadratic Assignment Problem

Philippe Codognet , Daniel Diaz , Salvador Abreu
IEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩
Conference papers hal-03778602v1

Parallel local search for the Costas Array Problem

Daniel Diaz , Florian Richoux , Yves Caniou , Philippe Codognet , Salvador Abreu
Parallel Computing and Optimization, 2012, Shanghai, China
Conference papers hal-00693275v1

Constraint-Based Local Search for the Costas Array Problem

Daniel Diaz , Florian Richoux , Philippe Codognet , Yves Caniou , Salvador Abreu
Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France
Conference papers hal-00760628v1

Compiling Constraints in clp(FD)

Philippe Codognet , Daniel Diaz
Journal of Logic Programming, 1996, 27 (3), pp.185-226
Journal articles hal-00693245v1