researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
Pascal
completeness
consistency
constraints
empirical
graph-rewriting
logic
meta-model
open-source
optimization
parallel programming
principles
programming
rewriting
rule-based
search
source-to-source
systematic-approach
testing
Filter by Author
[+]
OR
AND
NOT
1
Andreas Schutt
Barry O'Sullivan
Christian Bessiere
Christine Solnon
Ciaran McCreesh
Claude-Guy Quimper
Emmanuel Hebrard
Guido Tack
Helmut Simonis
Ian Miguel
Jean-Charles Régin
Laurent Michel
Maria Garcia de la Banda
Martin C. Cooper
Nicolas Beldiceanu
Pascal Van Hentenryck
Peter J. Stuckey
Peter Nightingale
Pierre Schaus
Stefan Szeider
Filter by Top terms
[+]
OR
AND
NOT
1
algorithm
approach
constraint
constraints
cp
csp
global
learning
local
model
models
optimization
problem
problems
programming
sat
scheduling
search
solving
using
CP (cp)
Editions
Publications
Viewing Publication 1 - 100 from 841
2023
Assembly Line Preliminary Design Optimization for an Aircraft
Stéphanie Roussel 0001
,
Thomas Polacsek
,
Anouck Chan
.
cp 2023
:
[doi]
Symmetries for Cube-And-Conquer in Finite Model Finding
João Araújo 0002
,
Choiwah Chow
,
Mikolás Janota
.
cp 2023
:
[doi]
Large Neighborhood Beam Search for Domain-Independent Dynamic Programming
Ryo Kuroiwa 0002
,
J. Christopher Beck
.
cp 2023
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
cp 2023
:
[doi]
Optimization of Short-Term Underground Mine Planning Using Constraint Programming
Younes Aalian
,
Gilles Pesant
,
Michel Gamache
.
cp 2023
:
[doi]
Exploiting Configurations of MaxSAT Solvers
Josep Alòs
,
Carlos Ansótegui
,
Josep M. Salvia
,
Eduard Torres
.
cp 2023
:
[doi]
Guiding Backtrack Search by Tracking Variables During Constraint Propagation
Gilles Audemard
,
Christophe Lecoutre
,
Charles Prud'homme
.
cp 2023
:
[doi]
Incremental Constrained Clustering by Minimal Weighted Modification
Aymeric Beauchamp
,
Thi-Bich-Hanh Dao
,
Samir Loudni
,
Christel Vrain
.
cp 2023
:
[doi]
Simplifying Step-Wise Explanation Sequences
Ignace Bleukx
,
Jo Devriendt
,
Emilio Gamba
,
Bart Bogaerts 0001
,
Tias Guns
.
cp 2023
:
[doi]
Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper)
Kyle E. C. Booth
.
cp 2023
:
[doi]
Towards More Efficient Local Search for Pseudo-Boolean Optimization
Yi Chu
,
Shaowei Cai 0001
,
Chuan Luo
,
Zhendong Lei
,
Cong Peng 0004
.
cp 2023
:
[doi]
Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming
Vianney Coppé
,
Xavier Gillard
,
Pierre Schaus
.
cp 2023
:
[doi]
Beyond Optimal Solutions for Real-World Problems (Invited Talk)
Maria Garcia de la Banda
.
cp 2023
:
[doi]
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
Arnaud Deza
,
Chang Liu
,
Pashootan Vaezipoor
,
Elias B. Khalil
.
cp 2023
:
[doi]
Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses
Alexandre Dubray
,
Pierre Schaus
,
Siegfried Nijssen
.
cp 2023
:
[doi]
A CP Approach for the Liner Shipping Network Design Problem
Yousra El Ghazi
,
Djamal Habet
,
Cyril Terrioux
.
cp 2023
:
[doi]
Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper)
Nicolas Golenvaux
,
Xavier Gillard
,
Siegfried Nijssen
,
Pierre Schaus
.
cp 2023
:
[doi]
Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities
Arnoosh Golestanian
,
Giovanni Lo Bianco
,
Chengyu Tao
,
J. Christopher Beck
.
cp 2023
:
[doi]
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
Christoph Jabs
,
Jeremias Berg
,
Hannes Ihalainen
,
Matti Järvisalo
.
cp 2023
:
[doi]
An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling
Carla Juvin
,
Emmanuel Hebrard
,
Laurent Houssin
,
Pierre Lopez
.
cp 2023
:
[doi]
Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density
Roger Kameugne
,
Sévérine Betmbe Fetgo
,
Thierry Noulamo
,
Clémentin Tayou Djamégni
.
cp 2023
:
[doi]
Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views
Matthias Klapperstueck
,
Frits de Nijs
,
Ilankaikone Senthooran
,
Jack Lee-Kopij
,
Maria Garcia de la Banda
,
Michael Wybrow
.
cp 2023
:
[doi]
Binary Constraint Trees and Structured Decomposability
Petr Kucera
.
cp 2023
:
[doi]
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk)
Jimmy H. M. Lee
.
cp 2023
:
[doi]
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper)
ChungJae Lee
,
Wirattawut Boonbandansook
,
Vahid Eghbal Akhlaghi
,
Kevin Dalmeijer
,
Pascal Van Hentenryck
.
cp 2023
:
[doi]
MDD Archive for Boosting the Pareto Constraint
Steve Malalel
,
Arnaud Malapert
,
Marie Pelleau
,
Jean-Charles Régin
.
cp 2023
:
[doi]
Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver
Tom Marty
,
Tristan François
,
Pierre Tessier
,
Louis Gautier
,
Louis-Martin Rousseau
,
Quentin Cappart
.
cp 2023
:
[doi]
Proof Logging for Smart Extensional Constraints
Matthew J. McIlree
,
Ciaran McCreesh
.
cp 2023
:
[doi]
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Gioni Mexi
,
Timo Berthold
,
Ambros M. Gleixner
,
Jakob Nordström
.
cp 2023
:
[doi]
A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper)
Renee Mirka
,
Laura Greenstreet
,
Marc Grimson
,
Carla P. Gomes
.
cp 2023
:
[doi]
Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming
Xiao Peng
,
Christine Solnon
.
cp 2023
:
[doi]
Distribution Optimization in Constraint Programming
Guillaume Perez
,
Gaël Glorian
,
Wijnand Suijlen
,
Arnaud Lallouet
.
cp 2023
:
[doi]
The CP-SAT-LP Solver (Invited Talk)
Laurent Perron
,
Frédéric Didier
,
Steven Gay
.
cp 2023
:
[doi]
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper)
Andreas Plank
,
Sibylle Möhle
,
Martina Seidl
.
cp 2023
:
[doi]
The p-Dispersion Problem with Distance Constraints
Nikolaos Ploskas
,
Kostas Stergiou 0001
,
Dimosthenis C. Tsouros
.
cp 2023
:
[doi]
Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars
Guillaume Povéda
,
Nahum Álvarez
,
Christian Artigues
.
cp 2023
:
[doi]
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper)
Vaidyanathan Peruvemba Ramaswamy
,
Stefan Szeider
.
cp 2023
:
[doi]
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk)
Thomas Schiex
.
cp 2023
:
[doi]
SAT-Based Learning of Compact Binary Decision Diagrams for Classification
Pouya Shati
,
Eldan Cohen
,
Sheila A. McIlraith
.
cp 2023
:
[doi]
Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper)
Manuel Combarro Simón
,
Pierre Talbot
,
Grégoire Danoy
,
Jedrzej Musial
,
Mohammed Alswaitti
,
Pascal Bouvry
.
cp 2023
:
[doi]
Constraint Programming with External Worst-Case Traversal Time Analysis
Pierre Talbot
,
Tingting Hu
,
Nicolas Navet
.
cp 2023
:
[doi]
Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming
Van-Giang Trinh
,
Belaid Benhamou
,
Sylvain Soliman
.
cp 2023
:
[doi]
Guided Bottom-Up Interactive Constraint Acquisition
Dimosthenis C. Tsouros
,
Senne Berden
,
Tias Guns
.
cp 2023
:
[doi]
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper)
Vincent Barbosa Vaz
,
James Bailey 0001
,
Christopher Leckie
,
Peter J. Stuckey
.
cp 2023
:
[doi]
CP Solver Design for Maximum CPU Utilization (Invited Talk)
Petr Vilím
.
cp 2023
:
[doi]
Addressing Problem Drift in UNHCR Fund Allocation
Sameela Suharshani Wijesundara
,
Maria Garcia de la Banda
,
Guido Tack
.
cp 2023
:
[doi]
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada
Roland H. C. Yap
, editor,
Volume 280 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
From Formal Boosted Tree Explanations to Interpretable Rule Sets
Jinqiang Yu
,
Alexey Ignatiev
,
Peter J. Stuckey
.
cp 2023
:
[doi]
Searching for Smallest Universal Graphs and Tournaments with SAT
Tianwei Zhang
,
Stefan Szeider
.
cp 2023
:
[doi]
FastMapSVM for Predicting CSP Satisfiability
Kexin Zheng
,
Ang Li
,
Han Zhang
,
T. K. Satish Kumar
.
cp 2023
:
[doi]
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization
Wenbo Zhou
,
Yujiao Zhao
,
Yiyuan Wang
,
Shaowei Cai 0001
,
Shimao Wang
,
Xinyu Wang
,
Minghao Yin
.
cp 2023
:
[doi]
2022
A Framework for Generating Informative Benchmark Instances
Nguyen Dang 0001
,
Özgür Akgün
,
Joan Espasa
,
Ian Miguel
,
Peter Nightingale
.
cp 2022
:
[doi]
Learning Constraint Programming Models from Data Using Generate-And-Aggregate
Mohit Kumar 0003
,
Samuel Kolb
,
Tias Guns
.
cp 2022
:
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
cp 2022
:
[doi]
Fixed-Template Promise Model Checking Problems
Kristina Asimi
,
Libor Barto
,
Silvia Butti
.
cp 2022
:
[doi]
Improved Sample Complexity Bounds for Branch-And-Cut
Maria-Florina Balcan
,
Siddharth Prasad
,
Tuomas Sandholm
,
Ellen Vitercik
.
cp 2022
:
[doi]
Weisfeiler-Leman Invariant Promise Valued CSPs
Libor Barto
,
Silvia Butti
.
cp 2022
:
[doi]
Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
Chaithanya Basrur
,
Arambam James Singh
,
Arunesh Sinha
,
Akshat Kumar
,
T. K. Satish Kumar
.
cp 2022
:
[doi]
Acquiring Maps of Interrelated Conjectures on Sharp Bounds
Nicolas Beldiceanu
,
Jovial Cheukam-Ngouonou
,
Rémi Douence
,
Ramiz Gindullin
,
Claude-Guy Quimper
.
cp 2022
:
[doi]
Parallel Hybrid Best-First Search
Abdelkader Beldjilali
,
Pierre Montalbano
,
David Allouche
,
George Katsirelos
,
Simon de Givry
.
cp 2022
:
[doi]
Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation
Senne Berden
,
Mohit Kumar 0003
,
Samuel Kolb
,
Tias Guns
.
cp 2022
:
[doi]
Complexity of Minimum-Size Arc-Inconsistency Explanations
Christian Bessiere
,
Clément Carbonnel
,
Martin C. Cooper
,
Emmanuel Hebrard
.
cp 2022
:
[doi]
A Constraint Programming Approach to Ship Refit Project Scheduling
Raphaël Boudreault
,
Vanessa Simard
,
Daniel Lafond
,
Claude-Guy Quimper
.
cp 2022
:
[doi]
On Redundancy in Constraint Satisfaction Problems
Clément Carbonnel
.
cp 2022
:
[doi]
From Crossing-Free Resolution to Max-SAT Resolution
Mohamed Sami Cherif
,
Djamal Habet
,
Matthieu Py
.
cp 2022
:
[doi]
Isomorphisms Between STRIPS Problems and Sub-Problems
Martin C. Cooper
,
Arnaud Lequen
,
Frédéric Maris
.
cp 2022
:
[doi]
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
Vianney Coppé
,
Xavier Gillard
,
Pierre Schaus
.
cp 2022
:
[doi]
Constraint Acquisition Based on Solution Counting
Christopher Coulombe
,
Claude-Guy Quimper
.
cp 2022
:
[doi]
DUELMIPs: Optimizing SDN Functionality and Security
Timothy Curry
,
Gabriel De Pace
,
Benjamin Fuller 0001
,
Laurent Michel
,
Yan Lindsay Sun
.
cp 2022
:
[doi]
Sequence Variables for Routing Problems
Augustin Delecluse
,
Pierre Schaus
,
Pascal Van Hentenryck
.
cp 2022
:
[doi]
CSP Beyond Tractable Constraint Languages
Jan Dreier
,
Sebastian Ordyniak
,
Stefan Szeider
.
cp 2022
:
[doi]
Explaining Propagation for Gini and Spread with Variable Mean
Alexander Ek
,
Andreas Schutt
,
Peter J. Stuckey
,
Guido Tack
.
cp 2022
:
[doi]
Plotting: A Planning Problem with Complex Transitions
Joan Espasa
,
Ian Miguel
,
Mateu Villaret
.
cp 2022
:
[doi]
Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
Hélène Fargier
,
Jérôme Mengin
,
Nicolas Schmidt
.
cp 2022
:
[doi]
Heuristics for MDD Propagation in HADDOCK
Rebecca Gentzel
,
Laurent Michel
,
Willem Jan van Hoeve
.
cp 2022
:
[doi]
An Auditable Constraint Programming Solver
Stephan Gocht
,
Ciaran McCreesh
,
Jakob Nordström
.
cp 2022
:
[doi]
From Cliques to Colorings and Back Again
Marijn J. H. Heule
,
Anthony Karahalios
,
Willem Jan van Hoeve
.
cp 2022
:
[doi]
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach
Amel Hidouri
,
Saïd Jabbour
,
Badran Raddaoui
.
cp 2022
:
[doi]
Understanding How People Approach Constraint Modelling and Solving
Ruth Hoffmann
,
Xu Zhu
,
Özgür Akgün
,
Miguel A. Nacenta
.
cp 2022
:
[doi]
All Questions Answered (Invited Talk)
Donald E. Knuth
.
cp 2022
:
[doi]
Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
Daphné Lafleur
,
Sarath Chandar
,
Gilles Pesant
.
cp 2022
:
[doi]
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization
Jimmy H. M. Lee
,
Allen Z. Zhong
.
cp 2022
:
[doi]
A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
Hongbo Li
,
Yaling Wu
,
Minghao Yin
,
Zhanshan Li
.
cp 2022
:
[doi]
Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains
Jheisson López
,
Alejandro Arbelaez
,
Laura Climent
.
cp 2022
:
[doi]
Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming
Louis Popovic
,
Alain Côté
,
Mohamed Gaha
,
Franklin Nguewouo
,
Quentin Cappart
.
cp 2022
:
[doi]
Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
Isaac Rudich
,
Quentin Cappart
,
Louis-Martin Rousseau
.
cp 2022
:
[doi]
28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel
Christine Solnon
, editor,
Volume 235 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2022.
[doi]
On Quantitative Testing of Samplers
Mate Soos
,
Priyanka Golia
,
Sourav Chakraborty 0001
,
Kuldeep S. Meel
.
cp 2022
:
[doi]
Structured Set Variable Domains in Bayesian Network Structure Learning
Fulya Trösser
,
Simon de Givry
,
George Katsirelos
.
cp 2022
:
[doi]
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Felix Ulrich-Oltean
,
Peter Nightingale
,
James Alfred Walker
.
cp 2022
:
[doi]
CNF Encodings of Binary Constraint Trees
Ruiwei Wang
,
Roland H. C. Yap
.
cp 2022
:
[doi]
Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs
Jie Wang
,
Dingding Chen
,
Ziyu Chen
,
Xiang-Shuang Liu
,
Junsong Gao
.
cp 2022
:
[doi]
Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
Felix Winter
,
Sebastian Meiswinkel
,
Nysret Musliu
,
Daniel Walkiewicz
.
cp 2022
:
[doi]
Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences
Ágnes Cseh
,
Guillaume Escamocher
,
Luis Quesada 0001
.
cp 2022
:
[doi]
2021
Exhaustive Generation of Benzenoid Structures Sharing Common Patterns
Yannick Carissan
,
Denis Hagebaum-Reignier
,
Nicolas Prcovic
,
Cyril Terrioux
,
Adrien Varet
.
cp 2021
:
[doi]
Generating Magical Performances with Constraint Programming (Short Paper)
Guilherme de Azevedo Silveira
.
cp 2021
:
[doi]
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations
Tomás Dlask
,
Tomás Werner
,
Simon de Givry
.
cp 2021
:
[doi]
A k-Opt Based Constraint for the TSP
Nicolas Isoart
,
Jean-Charles Régin
.
cp 2021
:
[doi]
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021
Laurent D. Michel
, editor,
Volume 210 of
LIPIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2021.
[doi]
Automated Random Testing of Numerical Constrained Types
Ghiles Ziat
,
Matthieu Dien
,
Vincent Botbol
.
cp 2021
:
[doi]
Sign in
or
sign up
to see more results.