| 2026 | CP | An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint Programming. | Augustin Crespin, Pierre Schaus |
| 2026 | CP | Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach. | Diego Olivier Fernandez Pons, Pierre Schaus |
| 2026 | CP | The Distance Constraint on Sequence Variables. | Margaux Schmied, Augustin Delecluse, Jean-Charles Rgin, Pierre Schaus |
| 2026 | CPAIOR | Clustering for Relaxed and Restricted Decision Diagram Bounds: When It Works and Why. | Alice Burlats, Roger Kameugne, Cristel Pelsser, Pierre Schaus |
| 2026 | IDA | A Generic Complete Anytime Beam Search for Optimal Decision Tree. | Harold Silvre Kiossou, Pierre Schaus |
| 2025 | CP | Modeling and Solving a Composite Structure Design Problem with Constraint Programming (Short Paper). | Miguel Antoons, Augustin Delecluse, Samih Zein, Pierre Schaus |
| 2025 | CPAIOR | A Dynamic Programming Approach for the Job Sequencing and Tool Switching Problem. | Emma Legrand, Vianney Copp, Daniele Catanzaro, Pierre Schaus |
| 2024 | CP | Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper). | Augustin Delecluse, Pierre Schaus |
| 2024 | CP | Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference. | Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
| 2024 | CPAIOR | An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis. | Auguste Burlats, Pierre Schaus, Cristel Pelsser |
| 2024 | CPAIOR | Modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams. | Vianney Copp, Xavier Gillard, Pierre Schaus |
| 2024 | CPAIOR | A Constraint Programming Approach for Aircraft Disassembly Scheduling. | Charles Thomas, Pierre Schaus |
| 2024 | CPAIOR | An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems. | Bastin Vjar, Gal Aglin, Ali Irfan Mahmutogullari, Siegfried Nijssen, Pierre Schaus, Tias Guns |
| 2024 | IDA | Efficient Lookahead Decision Trees. | Harold Silvre Kiossou, Pierre Schaus, Siegfried Nijssen, Gal Aglin |
| 2023 | CP | Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming. | Vianney Copp, Xavier Gillard, Pierre Schaus |
| 2023 | CP | Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. | Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
| 2023 | CP | 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 |
| 2022 | CP | Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. | Vianney Copp, Xavier Gillard, Pierre Schaus |
| 2022 | CP | Sequence Variables for Routing Problems. | Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck |
| 2022 | DIS | Optimal Decoding of Hidden Markov Models with Consistency Constraints. | Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus |
| 2022 | IJCAI | Large Neighborhood Search with Decision Diagrams. | Xavier Gillard, Pierre Schaus |
| 2022 | SoCS | A Conflict Avoidance Table for Continuous Conflict-Based Search (Extended Abstract). | Vianney Copp, Pierre Schaus |
| 2021 | CPAIOR | Improving the Filtering of Branch-and-Bound MDD Solver. | Xavier Gillard, Vianney Copp, Pierre Schaus, Andr Augusto Cir |
| 2021 | ICTAI | Assessing Optimal Forests of Decision Trees. | Gal Aglin, Siegfried Nijssen, Pierre Schaus |
| 2020 | AAAI | Learning Optimal Decision Trees Using Caching Branch-and-Bound Search. | Gal Aglin, Siegfried Nijssen, Pierre Schaus |
| 2020 | AAAI | Constraint Programming for an Efficient and Flexible Block Modeling Solver. | Alex Luca Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
| 2020 | CPAIOR | Insertion Sequence Variables for Hybrid Routing and Scheduling Problems. | Charles Thomas, Roger Kameugne, Pierre Schaus |
| 2020 | DIS | Mining Constrained Regions of Interest: An Optimization Approach. | Alexandre Dubray, Guillaume Derval, Siegfried Nijssen, Pierre Schaus |
| 2020 | IJCAI | PyDL8.5: a Library for Learning Optimal Decision Trees. | Gal Aglin, Siegfried Nijssen, Pierre Schaus |
| 2020 | IJCAI | Ddo, a Generic and Efficient Framework for MDD-Based Optimization. | Xavier Gillard, Pierre Schaus, Vianney Copp |
| 2020 | IJCAI | Learning Optimal Decision Trees using Constraint Programming (Extended Abstract). | Hlne Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus |
| 2019 | CP | Modeling Pattern Set Mining Using Boolean Circuits. | John O. R. Aoga, Siegfried Nijssen, Pierre Schaus |
| 2019 | CP | SolverCheck: Declarative Testing of Constraints. | Xavier Gillard, Pierre Schaus, Yves Deville |
| 2019 | CP | Generic Constraint-Based Block Modeling Using Constraint Programming. | Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus |
| 2019 | CPAIOR | The Maximum Weighted Submatrix Coverage Problem: A CP Approach. | Guillaume Derval, Vincent Branders, Pierre Dupont, Pierre Schaus |
| 2019 | CPAIOR | Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2019 | DIS | Mining a Maximum Weighted Set of Disjoint Submatrices. | Vincent Branders, Guillaume Derval, Pierre Schaus, Pierre Dupont |
| 2019 | INFOCOM | CG4SR: Near Optimal Traffic Engineering for Segment Routing with Column Generation. | Mathieu Jadin, Francois Aubry, Pierre Schaus, Olivier Bonaventure |
| 2018 | CP | A Constraint Programming Approach for Solving Patient Transportation Problems. | Quentin Cappart, Charles Thomas, Pierre Schaus, Louis-Martin Rousseau |
| 2018 | CPAIOR | EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events. | Quentin Cappart, John O. R. Aoga, Pierre Schaus |
| 2018 | CPAIOR | Soft-Regular with a Prefix-Size Violation Measure. | Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville |
| 2018 | CPAIOR | Revisiting the Self-adaptive Large Neighborhood Search. | Charles Thomas, Pierre Schaus |
| 2018 | DIS | Finding Probabilistic Rule Lists using the Minimum Description Length Principle. | John O. R. Aoga, Tias Guns, Siegfried Nijssen, Pierre Schaus |
| 2018 | IJCAI | Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | AAAI | Extending Compact-Table to Negative and Short Tables. | Hlne Verhaeghe, Christophe Lecoutre, Pierre Schaus |
| 2017 | CP | CoverSize: A Global Constraint for Frequency-Based Itemset Mining. | Pierre Schaus, John O. R. Aoga, Tias Guns |
| 2017 | CP | Extending Compact-Table to Basic Smart Tables. | Hlne Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
| 2017 | CPAIOR | Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables. | Quentin Cappart, Pierre Schaus |
| 2017 | CPAIOR | The Weighted Arborescence Constraint. | Vinastan Ratheil Houndji, Pierre Schaus, Mahouton Norbert Hounkonnou, Laurence A. Wolsey |
| 2017 | ICTAI | Efficient Reification of Table Constraints. | Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre |
| 2016 | CP | Efficient Filtering for the Unary Resource with Family-Based Transition Times. | Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Nol Monette, Pierre Schaus |
| 2016 | CP | Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. | Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Rgin, Pierre Schaus |
| 2016 | CP | Parallel Strategies Selection. | Anthony Palmieri, Jean-Charles Rgin, Pierre Schaus |
| 2016 | CPAIOR | Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing. | Cyrille Dejemeppe, Olivier Devolder, Victor Lecomte, Pierre Schaus |
| 2016 | SAFECOMP | A Dedicated Algorithm for Verification of Interlocking Systems. | Quentin Cappart, Pierre Schaus |
| 2015 | CP | The Unary Resource with Transition Times. | Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus |
| 2015 | CP | Conflict Ordering Search for Scheduling Problems. | Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus |
| 2015 | CP | Simple and Scalable Time-Table Filtering for the Cumulative Constraint. | Steven Gay, Renaud Hartert, Pierre Schaus |
| 2015 | CP | Solving Segment Routing Problems with Hybrid Constraint Programming Techniques. | Renaud Hartert, Pierre Schaus, Stefano Vissicchio, Olivier Bonaventure |
| 2015 | CPAIOR | Understanding the Potential of Propagators. | Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus |
| 2015 | CPAIOR | Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. | Cyrille Dejemeppe, Pierre Schaus, Yves Deville |
| 2015 | CPAIOR | Time-Table Disjunctive Reasoning for the Cumulative Constraint. | Steven Gay, Renaud Hartert, Pierre Schaus |
| 2015 | SIGCOMM | A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks. | Renaud Hartert, Stefano Vissicchio, Pierre Schaus, Olivier Bonaventure, Clarence Filsfils, Thomas Telkamp, Pierre Franois |
| 2014 | AAAI | A Support-Based Algorithm for the Bi-Objective Pareto Constraint. | Renaud Hartert, Pierre Schaus |
| 2014 | CP | Continuous Casting Scheduling with Constraint Programming. | Steven Gay, Pierre Schaus, Vivian De Smedt |
| 2014 | CP | The StockingCost Constraint. | Vinastan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville |
| 2014 | CPAIOR | Cost Impact Guided LNS. | Michele Lombardi, Pierre Schaus |
| 2013 | CP | Revisiting the Cardinality Reasoning for BinPacking Constraint. | Franois Pelsser, Pierre Schaus, Jean-Charles Rgin |
| 2013 | CP | Multi-Objective Large Neighborhood Search. | Pierre Schaus, Renaud Hartert |
| 2013 | ICTAI | Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems. | Pierre Schaus |
| 2012 | CP | Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. | Pierre Schaus, Jean-Charles Rgin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
| 2010 | CPAIOR | Consistency Check for the Bin Packing Constraint Revisited. | Julien Dupuis, Pierre Schaus, Yves Deville |
| 2010 | CPAIOR | Revisiting the Soft Global Cardinality Constraint. | Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini |
| 2009 | CPAIOR | Scalable Load Balancing in Nurse to Patient Assignment Problems. | Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Rgin |
| 2008 | AAAI | A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. | Pierre Schaus, Yves Deville |
| 2007 | CP | Bound-Consistent Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont |
| 2007 | CPAIOR | The Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Rgin |