Philippe Codognet

Torahiko Terada

Atsushi Miura

ACM Journal on Computing and Cultural Heritage, February, 2024

2023

Generating Presence-Absence Matrices by Quantum Annealing.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

Learning qubo Models for Quantum Annealing: A Constraint-Based Approach.

[BibT_eX]

[DOI]

Florian Richoux

Jean-François Baffier

Proceedings of the Computational Science - ICCS 2023, 2023

Quantum Annealing for Constraint Satisfaction and Constrained Optimization.

[BibT_eX]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023

2022

Quantum and Digital Annealing for the Quadratic Assignment Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Software, 2022

Domain-Wall / Unary Encoding in QUBO for Permutation Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture.

[BibT_eX]

[DOI]

Phongtharin Vinayavekhin

Vorapong Suppakitpaisarn

Torahiko Terada

Atsushi Miura

Proceedings of the Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges, 2022

Modeling the Costas Array Problem in QUBO for Quantum Annealing.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2022

Comparing QUBO Models of the Magic Square Problem for Quantum Annealing.

[BibT_eX]

[DOI]

Proceedings of the Metaheuristics - 14th International Conference, 2022

2021

Constraint Solving by Quantum Annealing.

[BibT_eX]

[DOI]

Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021

2018

Parallel Local Search.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2016

Estimating parallel runtimes for randomized algorithms in constraint solving.

[BibT_eX]

[DOI]

J. Heuristics, 2016

2015

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Flexible cooperation in parallel local search.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

A GPU Implementation of Parallel Constraint-Based Local Search.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Dependent Walks in Parallel Local Search.

[BibT_eX]

[DOI]

Yves Caniou

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

A Parametric Framework for Cooperative Parallel Local Search.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation in Combinatorial Optimisation, 2014

2013

Using sequential runtime distributions for the parallel speedup prediction of SAT local search.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Sequential and Parallel Restart Policies for Constraint-Based Local Search.

[BibT_eX]

[DOI]

Yves Caniou

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Prediction of Parallel Speed-Ups for Las Vegas Algorithms.

[BibT_eX]

[DOI]

Florian Richoux

Proceedings of the 42nd International Conference on Parallel Processing, 2013

From Sequential to Parallel Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2013

2012

On the implementation of GNU Prolog.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5).

[BibT_eX]

[DOI]

Kazunori Ueda

Hiroshi Hosobe

NII Shonan Meet. Rep., 2012

Ambient sound spaces.

[BibT_eX]

[DOI]

Olivier Pasquet

Multim. Tools Appl., 2012

Targeting the Cell Broadband Engine for constraint-based local search.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2012

Towards Massively Parallel Local Search for SAT - (Poster Presentation).

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Performance analysis of parallel constraint-based local search.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Constraint-Based Local Search for the Costas Array Problem.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Parallel Local Search for the Costas Array Problem.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Massively Parallel Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

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

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Communication in Parallel Algorithms for Constraint-Based Local Search.

[BibT_eX]

[DOI]

Yves Caniou

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Experiments in Parallel Constraint-Based Local Search.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2011

2010

Opening the Can: Public Interaction with Ready-Made Contents.

[BibT_eX]

[DOI]

Shlomo Dubnov

Proceedings of the Cultural Computing, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

Sound Agents.

[BibT_eX]

[DOI]

Olivier Pasquet

Proceedings of the Applications of Evolutionary Computation, 2010

Digital collages.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Advances in Computer Entertainment Technology, 2010

2009

Solving finite domain constraint hierarchies by local consistency and tree search.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2009

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Swarm Intelligence for Generative Music.

[BibT_eX]

[DOI]

Olivier Pasquet

Proceedings of the 11th IEEE International Symposium on Multimedia, 2009

2008

Red light spotters: images-driven sound and rhythm landscape.

[BibT_eX]

[DOI]

Gilbert Nouno

Proceedings of the 1st ACM Workshop on Semantic Ambient Media Experiences, 2008

The palimpsest system.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Multimedia 2008, 2008

2007

Agent-Based Speculative Constraint Processing.

[BibT_eX]

[DOI]

Hiroshi Hosobe

Ken Satoh

IEICE Trans. Inf. Syst., 2007

2004

Musical constraint satisfaction problems solved with adaptive search.

[BibT_eX]

[DOI]

Soft Comput., 2004

2003

Créatures virtuelle.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

Guest Editorial.

[BibT_eX]

[DOI]

Constraints An Int. J., 2003

Code-Based Test Generation for Validation of Functional Processor Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Speculative Constraint Processing in Multi-agent Systems.

[BibT_eX]

[DOI]

Ken Satoh

Hiroshi Hosobe

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2003

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Abstracting soft constraints: Framework, properties, examples.

[BibT_eX]

[DOI]

Stefano Bistarelli

Artif. Intell., 2002

Multi-goal path-finding for autonomous agents in virtual worlds.

[BibT_eX]

Proceedings of the Entertainment Computing: Technologies and Applications, 2002

Intelligent Agents in Virtual Worlds.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, Second International Conference, 2002

2001

Design and Implementation of the GNU Prolog System.

[BibT_eX]

J. Funct. Log. Program., 2001

Introduction to the Special Issue on Constraints for Multimedia Artistic Applications.

[BibT_eX]

[DOI]

François Pachet

Constraints An Int. J., 2001

Yet Another Local Search Method for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001

The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents, Third International Workshop, 2001

Visual and Adaptive Constraint Programming in Music.

[BibT_eX]

[DOI]

Gérard Assayag

Proceedings of the 2001 International Computer Music Conference, 2001

2000

A Constraint - Based Language for Autonomous Agents in Virtual Worlds.

[BibT_eX]

Proceedings of the WLP 2000, 2000

An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.

[BibT_eX]

[DOI]

Stefano Bistarelli

Proceedings of the Abstraction, 2000

The GNU Prolog System and its Implementation.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

GNU Prolog: Beyond Compiling Prolog to C.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

Labeling and Partial Local Consistency for Soft Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

1999

Constraint Retraction in CLP(FD): Formal Framework and Performance Results.

[BibT_eX]

[DOI]

Constraints An Int. J., 1999

An Historical Account of Indexical Images: from Ancient Art to the Web.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Declarative behaviors for virtual creatures.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, 1999

Mondes virtuels et systèmes multi-agents (poster).

[BibT_eX]

Proceedings of the Ingénierie des systèmes Multi-Agents - JFIADSMA 99, 1999

The InViWo virtual agents.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Conference of the European Association for Computer Graphics, 1999

A Constraint-Based Language for Virtual Agents.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

Abstracting Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

Labeling and Partial Arc Consistency for Soft Constraints.

[BibT_eX]

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Foreword: Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Encoding global constraints in semiring-based constraint solving.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Using constraints to describe high-level behaviours in virtual worlds.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Conference of the European Association for Computer Graphics, 1998

Compiling Semiring-Based Constraints with clp (FD, S).

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1998

1997

Toward Visual Constraint Programming.

[BibT_eX]

[DOI]

Emmanuel Chailloux

Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Implementing Constraint Retraction for Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1997

1996

Compiling Constraints in clp(FD).

[BibT_eX]

[DOI]

J. Log. Program., 1996

A Simple and Efficient Boolean Solver for Constraint Logic Programming.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

The Virtuality of Constraints and the Constraints of Virtuality.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Constraint Reaction in FD.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

The clp(FD) system.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

NMCC Programming: Constraint Enforcement and Retracting in CC Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1995

WAMCC: Compiling Prolog to C.

[BibT_eX]

Proceedings of the Logic Programming, 1995

A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Constraint Processing, Selected Papers, 1995

Guarded Constructive Disjunction: Angel or Demon?

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods

[BibT_eX]

[DOI]

Jacques Chassin de Kergommeaux

Giuseppe Nardiello

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Parallel Logic Programming Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1994

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

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Sleepers: A Versatile High-Level Control Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Programmation Concurrente avec Contraintes.

[BibT_eX]

Proceedings of the JFPLC'94, 1994

Finite Domain Constraints in the ML Functional Language.

[BibT_eX]

[DOI]

Emmanuel Chailloux

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Abduction and Concurrent Logic Languages.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Path Consistency in clp(FD).

[BibT_eX]

[DOI]

Giuseppe Nardiello

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

Boolean Constraint Solving Using clp(FD).

[BibT_eX]

Proceedings of the Logic Programming, 1993

An Incremental Hierarchical Constraint Solver.

[BibT_eX]

Francisco Menezes

Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1993

A Minimal Extension of the WAM for clp(FD).

[BibT_eX]

Proceedings of the Logic Programming, 1993

A Prototype Compiler for Prolog with Boolean Constraints.

[BibT_eX]

Giovanna M. Dore

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Improving Backward Execution in the Andorra Family of Languages.

[BibT_eX]

Luís Moniz Pereira

Proceedings of the Logic Programming, 1992

Computations, abstractions and constraints in logic programs.

[BibT_eX]

[DOI]

Proceedings of the ICCL'92, 1992

1991

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.

[BibT_eX]

François Fages

Thierry Sola

Proceedings of the Constraint Logic Programming, 1991

Computations, Abstractions and Constraints (abstract).

[BibT_eX]

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Extending the WAM for Intelligent Backtracking.

[BibT_eX]

Thierry Sola

Proceedings of the Logic Programming, 1991

1990

Abstract Interpretation for Concurrent Logic Languages.

[BibT_eX]

Marc-Michel Corsini

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Metalanguage for Representation and Control in Assumption-based Problem Solvers.

[BibT_eX]

Pierre Savéant

Proceedings of the SEKE'90, 1990

Abstract Interpretation from Prolog to Concurrent Prolog.

[BibT_eX]

Marc-Michel Corsini

Proceedings of the SPLT'90, 1990

Equations, Disequations and Unsolvable Subsets (abstract).

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1989

Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.

[BibT_eX]

Proceedings of the Logic Programming, 1989

1988

Yet Another Intelligent Backtracking Method.

[BibT_eX]

Proceedings of the Logic Programming, 1988

1987

Programmation logique parallèle 87.

[BibT_eX]

Proceedings of the SPLT'87, 1987

1986

Backtracking intelligent en programmation logique.

[BibT_eX]

Proceedings of the SPLT'86, 1986

A Very Intelligent Backtracking Method for Logic Programs.

[BibT_eX]

[DOI]