Publications

Algorithme Efficace pour la Fouille de Séquences Fréquentes avec la Programmation par Contraintes, Aoga, John O. R., Guns Tias, and Schaus Pierre , Treizièmes journées Francophones de Programmation par Contraintes - JFPC'17, (2017)

• BibTex

jfpc17.pdf (772.96 KB)

Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR17), (2017)

• BibTex

Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Constraints, (2017)

• BibTex

constraints17.pdf (541.85 KB)

Rescheduling Railway Traffic on Real Time Situations using Time-Interval Variables, Cappart, Quentin, and Schaus Pierre , Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, (2017)

• BibTex

Verification of interlocking systems using statistical model checking, Cappart, Quentin, Limbree Christophe, Schaus Pierre, Quilbeuf Jean, Traonouez Louis-Marie, and Legay Axel , 18th IEEE International Symposium on High Assurance Systems Engineering, (2017)

• BibTex

A dedicated algorithm for verification of interlocking systems, Cappart, Quentin, and Schaus Pierre , International Conference on Computer Safety, Reliability and Security, (2016)

• BibTex

An Efficient Algorithm for Mining Frequent Sequence with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part II, Cham, p.315–330, (2016)

• BibTex

2016-juil-pkdd-ppic.pdf (631.43 KB)

Efficient Filtering for the Unary Resource with Family-Based Transition Times, Cauwelaert, Sascha Van, Dejemeppe Cyrille, Monette Jean-Noël, and Schaus Pierre , International Conference on Principles and Practice of Constraint Programming, p.520–535, (2016)

• BibTex

llncs.pdf (751.73 KB)

Scalable Constraint Programming approach for Mining Frequent Sequence with gap constraints, Aoga, John, Schaus Pierre, and Guns Tias , BENELEARN, 2016, (2016)

• BibTex

2016-aou-aoga-benelearn_2016_paper_33poster.pdf (294.19 KB) benelearn2016poster.pdf (707.91 KB)

Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm, Dejemeppe, Cyrille, Schaus Pierre, and Deville Yves , CPAIOR2015, Barcelona, Spain, (2015)

• BibTex

cpaior_2015.pdf (599.09 KB)

Time-Table Disjunctive Reasoning for the Cumulative Constraint, Gay, Steven, Hartert Renaud, and Schaus Pierre , CPAIOR, 2015/5/18, Barcelona, Spain, (2015)

• BibTex

cpaior2015_timetabledisjunctive.pdf (437.7 KB)

The unary resource with transition times, Dejemeppe, Cyrille, Cauwelaert Sascha Van, and Schaus Pierre , International Conference on Principles and Practice of Constraint Programming, p.89–104, (2015)

• BibTex

unaryresourcewithtransitiontimes-cp2015.pdf (483.71 KB)

Understanding the Potential of Propagators, Cauwelaert, Sascha Van, Lombardi Michele, and Schaus Pierre , The Twelfth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, (2015)

• BibTex

understandingprops.pdf (295.26 KB)

Verification by discrete simulation of interlocking systems, Cappart, Quentin, Limbrée Christophe, Schaus Pierre, and Legay Axel , 29th European Simulation and Modelling Conference, (2015)

• BibTex

Verification of railway interlocking systems, Busard, Simon, Schaus Pierre, Cappart Quentin, Limbrée Christophe, and Pecheur Charles , 4th International Workshop on Engineering Safety and Security Systems, (2015)

• BibTex

Continuous Casting Scheduling with Constraint Programming., Gay, Steven , CP2014: International Conference on Principles and Practice of Constraint Programming, Lyon, France, (2014)

• BibTex

cp2014_caster.pdf (1.91 MB)

Cost Impact Guided LNS, Lombardi, Michele, and Schaus Pierre , CPAIOR: The Eleventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, (2014)

• BibTex

cpaior14-costimpact.pdf (278.64 KB)

The StockingCost Constraint, Houndji, Vinasétan Ratheil, Schaus Pierre, Wolsey Laurence, and Deville Yves , Principles and Practice of Constraint Programming, 09/2014, Volume 8656, p.382-397, (2014)

• BibTex

cp2014_stocking.pdf (369.75 KB)

Supervised Learning to Control Energetic Reasoning : Feasibility Study, Cauwelaert, Sascha Van, Lombardi Michele, and Schaus Pierre , CP 2014 Doctoral Program, (2014)

• BibTex

seer-dp.pdf (286.78 KB)

A Support-Based Algorithm for the Bi-Objective Pareto Constraint, Hartert, Renaud , AAAI 2014, Quebec, (2014)

• BibTex

aaai2014_bopareto.pdf (392.04 KB)

Bound-Consistent Spread Constraint, Application to load balancing in nurse-to-patient assignments, Schaus, Pierre, and Régin Jean-Charles , (EJCO) EURO Journal on Computational Optimization, (2013)

• BibTex

ejco2013-spread-nurses.pdf (578.01 KB)

Multi-Objective Large Neighborhood Search, Schaus, Pierre , International Conference on Principles and Practice of Constraint Programming (CP), (2013)

• BibTex

cp13_molns.pdf (387.88 KB)

Revisiting the cardinality reasoning for BinPacking constraint , Pelsser, François , International Conference on Principles and Practice of Constraint Programming (CP), 2013., (2013)

• BibTex

cp13_binpackingcard.pdf (276.98 KB)

Sparse-Sets for Domain Implementation, le Clément, Vianney, Schaus Pierre, Solnon Christine, and Lecoutre Christophe , TRICS - Techniques foR Implementing Constraint programming Systems, CP 2013 Workshop., (2013)

• BibTex

trics13-sparsets.pdf (366.94 KB)

Variable Objective Large Neighborhood Search: A practical approach to solve over-constrained problems, Schaus, Pierre , 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), (2013)

• BibTex

ictai13_volns.pdf (245.3 KB)