Optimal multivariate decision trees Justin BoutilierCarla MichiniZachary Zhou OriginalPaper 27 December 2023 Pages: 549 - 577
A feature commonality-based search strategy to find high \(t\)-wise covering solutions in feature models Mathieu Vavrille OriginalPaper 30 November 2023 Pages: 521 - 548
Spacetime programming: a synchronous language for constraint search Pierre Talbot PhD Thesis Abstract 23 September 2023 Pages: 516 - 517
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming Margarita Paz Castro PhD Thesis Abstract 22 September 2023 Pages: 511 - 512
Constraint programming approaches to electric vehicle and robot routing problems Kyle E. C. Booth PhD Thesis Abstract 22 September 2023 Pages: 506 - 507
Scheduling through logic-based tools Jordi Coll Caballero PhD Thesis Abstract 18 September 2023 Pages: 510 - 510
Floating-point numbers round-off error analysis by constraint programming Rémy Garcia PhD Thesis Abstract 15 September 2023 Pages: 515 - 515
Correction to: Solution sampling with random table constraints Mathieu VavrilleCharlotte TruchetCharles Prud’homme Correction 07 September 2023 Pages: 519 - 519
Reasoning and inference for (Maximum) satisfiability: new insights Mohamed Sami Cherif Abstract 23 October 2023 Pages: 513 - 514
CSP beyond tractable constraint languages Jan DreierSebastian OrdyniakStefan Szeider OriginalPaper Open access 11 October 2023 Pages: 450 - 471
Complexity of minimum-size arc-inconsistency explanations Christian BessiereClément CarbonnelEmmanuel Hebrard OriginalPaper 02 October 2023 Pages: 427 - 449
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints Felix Ulrich-OlteanPeter NightingaleJames Alfred Walker OriginalPaper Open access 02 November 2023 Pages: 397 - 426
Learn and route: learning implicit preferences for vehicle routing Rocsildes CanoyVíctor BucareyTias Guns OriginalPaper Open access 11 October 2023 Pages: 363 - 396
From declarative models to local search Gustav Björdal PhD Thesis Abstract 12 August 2023 Pages: 508 - 509
Security-Aware Database Migration Planning Utku Umur AcikalinBugra CaskurluK. Subramani OriginalPaper 10 August 2023 Pages: 472 - 505
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences Ágnes CsehGuillaume EscamocherLuis Quesada OriginalPaper Open access 03 June 2023 Pages: 138 - 165
Exact methods for the Oven Scheduling Problem Marie-Louise LacknerChristoph MrkvickaFelix Winter OriginalPaper Open access 04 July 2023 Pages: 320 - 361
Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs Tomáš DlaskTomáš Werner OriginalPaper 25 July 2023 Pages: 244 - 276
Human-centred feasibility restoration in practice Ilankaikone SenthooranMatthias KlapperstueckMaria Garcia de la Banda OriginalPaper Open access 20 July 2023 Pages: 203 - 243
SAT-based optimal classification trees for non-binary data Pouya ShatiEldan CohenSheila A. McIlraith OriginalPaper 08 July 2023 Pages: 166 - 202
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot Johan WessénMats CarlssonMihhail Matskin OriginalPaper Open access 17 July 2023 Pages: 71 - 104
Block-coordinate descent and local consistencies in linear programming Tomáš Dlask PhD Thesis Abstract 08 July 2023 Pages: 69 - 70
Hybrid optimization of vehicle routing problems Edward Lam PhD Thesis Abstract 17 July 2023 Pages: 67 - 68
Super-reparametrizations of weighted CSPs: properties and optimization perspective Tomáš DlaskTomáš WernerSimon de Givry OriginalPaper Open access 16 May 2023 Pages: 277 - 319
The smallest hard trees Manuel BodirskyJakub BulínMichael Wernthaler OriginalPaper Open access 25 March 2023 Pages: 105 - 137
An interdisciplinary experimental evaluation on the disjunctive temporal problem Matteo ZavatteriAlice RaffaeleRomeo Rizzi Letter 01 February 2023 Pages: 1 - 12
Towards better heuristics for solving bounded model checking problems Anissa KheireddineEtienne RenaultSouheib Baarir OriginalPaper 27 December 2022 Pages: 45 - 66
The algebraic structure of the densification and the sparsification tasks for CSPs Rustem Takhanov OriginalPaper 08 December 2022 Pages: 13 - 44
An algorithm-independent measure of progress for linear constraint propagation Boro SofranacAmbros GleixnerSebastian Pokutta OriginalPaper 12 October 2022 Pages: 432 - 455
Short- and medium-term optimization of underground mine planning using constraint programming Louis-Pierre CampeauMichel Gamache OriginalPaper 27 September 2022 Pages: 414 - 431
Solution sampling with random table constraints Mathieu VavrilleCharlotte TruchetCharles Prud’homme OriginalPaper 24 June 2022 Pages: 381 - 413
Boosting isomorphic model filtering with invariants João AraújoChoiwah ChowMikoláš Janota OriginalPaper 16 June 2022 Pages: 360 - 379
Propagation complete encodings of smooth DNNF theories Petr KučeraPetr Savický OriginalPaper 03 June 2022 Pages: 327 - 359
Fast and parallel decomposition of constraint satisfaction problems Georg GottlobCem OkulmusReinhard Pichler OriginalPaper Open access 03 June 2022 Pages: 284 - 326
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences Ágnes CsehGuillaume EscamocherLuis Quesada OriginalPaper Open access 01 June 2022 Pages: 249 - 283
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids Yannick CarissanDenis Hagebaum-ReignierAdrien Varet OriginalPaper 28 May 2022 Pages: 192 - 248
Generative magic and designing magic performances with constraint programming Guilherme de Azevedo Silveira Application Paper Open access 21 May 2022 Pages: 168 - 191
When bounds consistency implies domain consistency for regular counting constraints Barnaby MartinJustin Pearson Letter 20 May 2022 Pages: 161 - 167
Learning the travelling salesperson problem requires rethinking generalization Chaitanya K. JoshiQuentin CappartThomas Laurent OriginalPaper Open access 28 April 2022 Pages: 70 - 98
Concise integer linear programming formulation for clique partitioning problems Miyuki KoshimuraEmi WatanabeMakoto Yokoo OriginalPaper Open access 23 April 2022 Pages: 99 - 115
A constraint-based approach to learn temporal features on action models from multiple plans Antonio Garrido OriginalPaper 12 May 2022 Pages: 134 - 160
Correct approximation of IEEE 754 floating-point arithmetic for program verification Roberto BagnaraAbramo BagnaraRoberta Gori OriginalPaper Open access 22 February 2022 Pages: 29 - 69
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs Avraham ItzhakovMichael Codish OriginalPaper 25 January 2022 Pages: 8 - 28
Global domain views for expressive and cross-domain constraint programming Dimitri Justeau-AllaireCharles Prud’homme Letter 11 January 2022 Pages: 1 - 7
Variable ordering for decision diagrams: A portfolio approach Anthony KarahaliosWillem-Jan van Hoeve OriginalPaper 04 January 2022 Pages: 116 - 133
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints Jana KoehlerJosef BürglerKai Waelti OriginalPaper Open access 15 June 2021 Pages: 56 - 106
Correction to: The potential of quantum annealing for rapid solution structure identification Yuchen PangCarleton CoffrinMarc Vuffray Correction 12 April 2021 Pages: 107 - 107
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search Jo DevriendtAmbros GleixnerJakob Nordström EditorialNotes 18 January 2021 Pages: 26 - 55
Introduction to the CPAIOR 2020 fast track issue Emmanuel HebrardNysret Musliu EditorialNotes 08 December 2020 Pages: 298 - 299
