Counting QBF solutions at level two Andreas PlankSibylle MöhleMartina Seidl OriginalPaper Open access 08 August 2024
Applying constraint programming to minimal lottery designs David CushingDavid I. Stewart OriginalPaper Open access 09 July 2024
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
