Articles

1. The potential of quantum annealing for rapid solution structure identification

   • Yuchen Pang
   • Carleton Coffrin
   • Marc Vuffray

   OriginalPaper Open access 18 November 2020 Pages: 1 - 25

   

2. Power of pre-processing: production scheduling with variable energy pricing and power-saving states

   • Ondřej Benedikt
   • István Módos
   • Zdeněk Hanzálek

   OriginalPaper 16 November 2020 Pages: 300 - 318

   

3. Exact and flexible solution approach to a critical chain project management problem

   • Hiroyuki Goto
   • Alan T. Murray

   OriginalPaper 10 November 2020 Pages: 280 - 297

   

4. A new constraint programming model and solving for the cyclic hoist scheduling problem

   • Mark Wallace
   • Neil Yorke-Smith

   OriginalPaper Open access 09 November 2020 Pages: 319 - 337

   

5. On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers

   • Rodrigue Konan Tchinda
   • Clémentin Tayou Djamegni

   Original Research 30 October 2020 Pages: 251 - 279

   

6. Learning optimal decision trees using constraint programming

   • Hélène Verhaeghe
   • Siegfried Nijssen
   • Pierre Schaus

   Original Research 29 October 2020 Pages: 226 - 250

   

7. Efficient multiple constraint acquisition

   • Dimosthenis C. Tsouros
   • Kostas Stergiou

   OriginalPaper 17 September 2020 Pages: 180 - 225

   

8. The flexible and real-time commute trip sharing problems

   • Mohd. Hafiz Hasan
   • Pascal Van Hentenryck

   OriginalPaper 19 August 2020 Pages: 160 - 179

   

9. Non-local configuration of component interfaces by constraint satisfaction

   • Olga Tveretina
   • Pavel Zaichenkov
   • Alex Shafarenko

   OriginalPaper 05 August 2020 Pages: 121 - 159

   

10. Invariants for time-series constraints

    • Ekaterina Arafailova
    • Nicolas Beldiceanu
    • Helmut Simonis

    OriginalPaper 18 July 2020 Pages: 71 - 120

    

11. XCSP³ and its ecosystem

    • Gilles Audemard
    • Frédéric Boussemart
    • Olivier Roussel

    OriginalPaper 06 February 2020 Pages: 47 - 69

    

12. Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem

    • Jaime E. González
    • Andre A. Cire
    • Louis-Martin Rousseau

    OriginalPaper 15 January 2020 Pages: 23 - 46

    

13. Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs

    • Mohamed Amine Omrani
    • Wady Naanaa

    OriginalPaper 20 December 2019 Pages: 1 - 22

    

14. Incentive-based search for equilibria in boolean games

    • Vadim Levit
    • Zohar Komarovsky
    • Amnon Meisels

    OriginalPaper 20 August 2019 Pages: 288 - 319

    

15. Constraint Games for stable and optimal allocation of demands in SDN

    • Anthony Palmieri
    • Arnaud Lallouet
    • Luc Pons

    OriginalPaper 07 August 2019 Pages: 252 - 287

    

16. Encoding cardinality constraints using multiway merge selection networks

    • Michał Karpiński
    • Marek Piotrów

    OriginalPaper Open access 05 April 2019 Pages: 234 - 251

    

17. The item dependent stockingcost constraint

    • Vinasetan Ratheil Houndji
    • Pierre Schaus
    • Laurence Wolsey

    OriginalPaper 19 February 2019 Pages: 183 - 209

    

18. Model counting with error-correcting codes

    • Dimitris Achlioptas
    • Panos Theodoropoulos

    OriginalPaper 08 February 2019 Pages: 162 - 182

    

19. N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT

    • Aolong Zha
    • Miyuki Koshimura
    • Hiroshi Fujita

    OriginalPaper 12 January 2019 Pages: 133 - 161

    

20. Not all FPRASs are equal: demystifying FPRASs for DNF-counting

    • Kuldeep S. Meel
    • Aditya A. Shrotri
    • Moshe Y. Vardi

    OriginalPaper 26 December 2018 Pages: 211 - 233

    

21. Neighborhood singleton consistencies

    • Kostas Stergiou

    OriginalPaper 23 November 2018 Pages: 94 - 131

    

22. Compiling CP subproblems to MDDs and d-DNNFs

    • Diego de Uña
    • Graeme Gange
    • Peter J. Stuckey

    OriginalPaper 09 November 2018 Pages: 56 - 93

    

23. Improved WPM encoding for coalition structure generation under MC-nets

    • Xiaojuan Liao
    • Miyuki Koshimura
    • Makoto Yokoo

    OriginalPaper 11 September 2018 Pages: 25 - 55

    

24. Constraints for symmetry breaking in graph representation

    • Michael Codish
    • Alice Miller
    • Peter J. Stuckey

    OriginalPaper Open access 25 August 2018 Pages: 1 - 24

    

25. From MDD to BDD and Arc consistency

    • Julien Vion
    • Sylvain Piechowiak

    OriginalPaper 12 July 2018 Pages: 451 - 480

    

26. MiniBrass: Soft constraints for MiniZinc

    • Alexander Schiendorfer
    • Alexander Knapp
    • Wolfgang Reif

    OriginalPaper 05 July 2018 Pages: 403 - 450

    

27. Translation-based approaches for solving disjunctive temporal problems with preferences

    • Enrico Giunchiglia
    • Marco Maratea
    • Luca Pulina

    OriginalPaper 02 July 2018 Pages: 383 - 402

    

28. On a new extension of BTP for binary CSPs

    • Achref El Mouelhi

    OriginalPaper 30 June 2018 Pages: 355 - 382

    

29. Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem

    • Vinasetan Ratheil Houndji

    PhD Thesis Abstract 16 June 2018 Pages: 481 - 482

30. Introduction to the CPAIOR 2018 fast track issue

    • Willem-Jan van Hoeve

    EditorialNotes 29 May 2018 Pages: 294 - 295

31. Intruder alert! Optimization models for solving the mobile robot graph-clear problem

    • Michael Morin
    • Margarita P. Castro
    • J. Christopher Beck

    OriginalPaper 21 May 2018 Pages: 335 - 354

    

32. Online over time processing of combinatorial problems

    • Robinson Duque
    • Alejandro Arbelaez
    • Juan F. Díaz

    OriginalPaper 04 May 2018 Pages: 310 - 334

    

33. Deep neural networks and mixed integer linear optimization

    • Matteo Fischetti
    • Jason Jo

    OriginalPaper 26 April 2018 Pages: 296 - 309

    

34. Twenty Years of Constraint Programming (CP) Research

    • Michela Milano

    Editorial 17 April 2018 Pages: 155 - 157

35. Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last

    • Hamed Fahimi
    • Yanick Ouellet
    • Claude-Guy Quimper

    OriginalPaper 11 April 2018 Pages: 272 - 293

    

36. Modeling uncertainties with chance constraints

    • Imen Zghidi
    • Brahim Hnich
    • Abdelwaheb Rebaï

    OriginalPaper 03 April 2018 Pages: 196 - 209

    

37. IBM ILOG CP optimizer for scheduling

    • Philippe Laborie
    • Jérôme Rogerie
    • Petr Vilím

    OriginalPaper 19 March 2018 Pages: 210 - 250

    

38. Constraint programming and operations research

    • J. N. Hooker
    • W.-J. van Hoeve

    OriginalPaper 29 December 2017 Pages: 172 - 195

39. Deriving generic bounds for time-series constraints based on regular expressions characteristics

    • Ekaterina Arafailova
    • Nicolas Beldiceanu
    • Helmut Simonis

    OriginalPaper 23 December 2017 Pages: 44 - 86

    

40. Mixed model line balancing with parallel stations, zoning constraints, and ergonomics

    • Anas Alghazi
    • Mary E. Kurz

    OriginalPaper 29 November 2017 Pages: 123 - 153

    

41. Improved filtering for the bin-packing with cardinality constraint

    • Guillaume Derval
    • Jean-Charles Régin
    • Pierre Schaus

    OriginalPaper 14 October 2017 Pages: 251 - 271

    

42. How efficient is a global constraint in practice?

    • Sascha Van Cauwelaert
    • Michele Lombardi
    • Pierre Schaus

    OriginalPaper 13 October 2017 Pages: 87 - 122

    

43. Progress towards the Holy Grail

    • Eugene C. Freuder

    OriginalPaper 07 October 2017 Pages: 158 - 171

44. Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs

    • Ferdinando Fioretto
    • Enrico Pontelli
    • Rina Dechter

    OriginalPaper 18 August 2017 Pages: 1 - 43

    

45. Introduction to the CPAIOR 2017 fast track issue

    • Domenico Salvagnin
    • Michele Lombardi

    EditorialNotes 14 June 2017 Pages: 491 - 492

46. Mining Time-constrained Sequential Patterns with Constraint Programming

    • John O. R. Aoga
    • Tias Guns
    • Pierre Schaus

    OriginalPaper 07 June 2017 Pages: 548 - 570

    

47. Auto-tabling for subproblem presolving in MiniZinc

    • Jip J. Dekker
    • Gustav Björdal
    • Jean-Noël Monette

    OriginalPaper Open access 06 June 2017 Pages: 512 - 529

    

48. A global constraint for over-approximation of real-time streams

    • Anicet Bart
    • Charlotte Truchet
    • Eric Monfroy

    OriginalPaper 31 May 2017 Pages: 463 - 490

    

49. Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions

    • Margaux Nattaf
    • Christian Artigues
    • Pierre Lopez

    OriginalPaper 23 May 2017 Pages: 530 - 547

    

50. Efficient filtering for the Resource-Cost AllDifferent constraint

    • Sascha Van Cauwelaert
    • Pierre Schaus

    OriginalPaper 23 May 2017 Pages: 493 - 511