Journal: Constraints

Volume 25, Issue 3-4

71 -- 120Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis. Invariants for time-series constraints
121 -- 159Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko. Non-local configuration of component interfaces by constraint satisfaction
160 -- 179Mohd. Hafiz Hasan, Pascal Van Hentenryck. The flexible and real-time commute trip sharing problems
180 -- 225Dimosthenis C. Tsouros, Kostas Stergiou 0001. Efficient multiple constraint acquisition
226 -- 250Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus. Learning optimal decision trees using constraint programming
251 -- 279Rodrigue Konan Tchinda, Clémentin Tayou Djamégni. On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers
280 -- 297Hiroyuki Goto, Alan T. Murray. Exact and flexible solution approach to a critical chain project management problem
298 -- 299Emmanuel Hebrard, Nysret Musliu. Introduction to the CPAIOR 2020 fast track issue
300 -- 318Ondrej Benedikt, István Módos, Zdenek Hanzálek. Power of pre-processing: production scheduling with variable energy pricing and power-saving states
319 -- 337Mark Wallace 0001, Neil Yorke-Smith. A new constraint programming model and solving for the cyclic hoist scheduling problem

Volume 25, Issue 1

1 -- 22Mohamed Amine Omrani, Wady Naanaa. Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
23 -- 46Jaime E. González, André Augusto Ciré, Andrea Lodi 0001, Louis-Martin Rousseau. Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
47 -- 69Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel. 3 and its ecosystem