10 Hits in 1.7 sec

CSPLib: Twenty Years On [article]

Ian Gent, Toby Walsh
2019 arXiv   pre-print
In 1999, we introduced CSPLib, a benchmark library for the constraints community. Our CP-1999 poster paper about CSPLib discussed the advantages and disadvantages of building such a library.  ...  The community responded positively and CSPLib has become a valuable resource but, as we discuss here, we cannot rest.  ...  Most importantly, we thank all the contributors to CSPLib over the past twenty years. Toby Walsh is supported by the European Research Council under the Horizon 2020 Programme via AMPLify 670077.  ... 
arXiv:1909.13430v1 fatcat:5nilyvizcvfynijn6cucpqik54

The car sequencing problem: Overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem

Christine Solnon, Van Dat Cung, Alain Nguyen, Christian Artigues
2008 European Journal of Operational Research  
The ROADEF challenge is organized every two years by the French Society of Operations Research and Decision-Making Aid.  ...  We also analyse the results of these methods on the car sequencing instances provided by RENAULT.  ...  Performances of these different local search approaches have been illustrated on benchmark instances of the CSPLib [GW99] .  ... 
doi:10.1016/j.ejor.2007.04.033 fatcat:coxlalfchrha3cmqcgriwtzwlu

From Support Propagation to Belief Propagation in Constraint Programming

Gilles Pesant
2019 The Journal of Artificial Intelligence Research  
This paper investigates a richer propagation medium made possible by recent work on counting solutions inside constraints.  ...  The necessary architectural changes to a constraint programming solver are described and an empirical study of the proposal is conducted on its implementation.  ...  There are twenty sum constraints, each over 8 (resp. 4) variables on average, for which weighted counting is exact, and one alldifferent constraint over at least (due to possible repeats in randomly-filled  ... 
doi:10.1613/jair.1.11487 fatcat:7m55dd4bnbfg5dfwaww73owqnq

Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems

Jayanta Mandi, Emir Demirovi?, Peter J. Stuckey, Tias Guns
It takes the regret of the predictions on the linear problem into account, by repeatedly solving it during learning.  ...  We experiment with weighted knapsack problems as well as complex scheduling problems, and show for the first time that a predict-and-optimize approach can successfully be used on large-scale combinatorial  ...  In recent years there is a growing interest in decision-focused learning (Elmachtoub and Grigas 2017; Demirović et al. 2019; , that aims to couple ML and decision making.  ... 
doi:10.1609/aaai.v34i02.5521 fatcat:55i6ainiarevtet3uz53g2padi

Super 14 Rugby Fixture Scheduling Using a Multi-Objective Evolutionary Algorithm

Lyndon While, Luigi Barone
2007 2007 IEEE Symposium on Computational Intelligence in Scheduling  
We detail the technical details needed to apply a multi-objective evolutionary algorithm to this problem and report on experiments that show the effectiveness of this approach.  ...  As stated on the official Australian Rugby Union website, the organising authority for the game (SANZAR) have recently announced a new media deal worth US$323 million over five years [3] that will see  ...  For example, a special case is the Sports League Scheduling Problem (Prob026 of CSPLib [6] ), as posed by McAloon et al. [7] .  ... 
doi:10.1109/scis.2007.367667 dblp:conf/cisched/WhileB07 fatcat:eul3ysx6zjfkzl2jcjmtge7j5e

Cardinal: A Finite Sets Constraint Solver

Francisco Azevedo
2007 Constraints  
of constraint propagation on cardinalities.  ...  Another contribution of this paper is on modelling: we focus essentially on digital circuits problems, for which we present new modelling approaches and prove that sets alone can be used to model these  ...  Social Golfers As taken from CSPlib: "The coordinator of a local golf club has come to you with the following problem.  ... 
doi:10.1007/s10601-006-9012-6 fatcat:k2igzplql5bavp5tclel5yori4

QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning Dagstuhl Seminar Proceedings 10412 QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning Organizing Committee

Stefan Wölfl, Jochen Renz, Geoff Sutcliffe
Thus QSTR forms a distinct subfield within the broader AI community working on knowledge representation and reasoning and has attracted research interest for more than 25 years now.  ...  In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010. Ed. by Maria Fox and David Poole. AAAI Press, 2010. References: [1] Muralikrishna Sridhar, Anthony G.  ...  In my research, I work on extensions of the universal-algebra approach to CSPs with infinite domains.  ... 

Modelling and Solving Techniques for Stochastic Combinatorial Optimisation Problems

For example, it is difficult to forecast the expected electricity consumption in twenty years' time, or even what the weather will be like next week, which greatly determines the energy production level  ...  The benchmark used for the experiments can be found in the appendix and has been made public on the CSPLib (Gent and Walsh; .  ...  the CSPLib (Gent and Walsh; .  ... 
doi:10.26180/5c74951e78889 fatcat:wgxybpgc7ncqhjbase5vccyodi

Making the Most of Structure in Constraint Models

This thesis focuses on model structure, showing how it can be exploited to improve compilation and solving.  ...  Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp. 346-352.  ...  The 300 instances are those used in the challenge in those years. See Appendix A for more details.  ... 
doi:10.4225/03/596daeeccfcd8 fatcat:6a5aoks3grhurhhg2i4ldfcxk4

Harnessing tractability in constraint satisfaction problems Directeur(s) de Thèse : Membre(s) du jury

M Martin, Cooper Emmanuel, Hebrard Rapporteurs, Nadia Mme, Aix-Marseille Creignou, Président Universite, Laas Hebrard, Membre Toulouse, Paul Cooper, Membre Sabatier, Jegou
Emmanuel was always there to guide me, answer my questions, comment on my research and support me in the difficult moments; he really took his supervision role to heart and worked hard to ensure I do my  ...  More that twenty years have passed and this conjecture is still open.  ...  His numerous and detailed comments on my ideas and manuscripts have been of great help. I thank the members of the ROC team at LAAS-CNRS for these three years spent together.  ...