You are here

Home

Publications

Export 44 results:
Filters: Author is Pierre Schaus  [Clear All Filters]
2017
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) jfpc17.pdf (772.96 KB)
CoverSize: {A} Global Constraint for Frequency-Based Itemset Mining, Schaus, Pierre, Aoga John O. R., and Guns Tias , Principles and Practice of Constraint Programming: 23rd International Conference, {CP 2017}, Volume 10416, Melbourne, VIC, Australia, p.529–546, (2017) cp.pdf (689.75 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)
Mining Time-constrained Sequential Patterns with Constraint Programming, Aoga, John O. R., Guns Tias, and Schaus Pierre , Constraints, Volume 22, (2017) 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)
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)
2016
A dedicated algorithm for verification of interlocking systems, Cappart, Quentin, and Schaus Pierre , International Conference on Computer Safety, Reliability and Security, (2016)
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) 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) 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) 2016-aou-aoga-benelearn_2016_paper_33poster.pdf (294.19 KB) benelearn2016poster.pdf (707.91 KB)
2015
Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm, Dejemeppe, Cyrille, Schaus Pierre, and Deville Yves , CPAIOR2015, Barcelona, Spain, (2015) 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) 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) 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) 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)
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)
2014
Continuous Casting Scheduling with Constraint Programming., Gay, Steven , CP2014: International Conference on Principles and Practice of Constraint Programming, Lyon, France, (2014) 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) 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) 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) seer-dp.pdf (286.78 KB)
A Support-Based Algorithm for the Bi-Objective Pareto Constraint, Hartert, Renaud , AAAI 2014, Quebec, (2014) aaai2014_bopareto.pdf (392.04 KB)
2013
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) 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) 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) 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) trics13-sparsets.pdf (366.94 KB)

Pages