- Yuchen Pang
, Carleton Coffrin, Andrey Y. Lokhov, Marc Vuffray:
Correction to: The potential of quantum annealing for rapid solution structure identification. Constraints An Int. J. 26(1): 107 (2021) - 2020
- Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Invariants for time-series constraints. Constraints An Int. J. 25(3-4): 71-120 (2020) - Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel:
XCSP3 and its ecosystem. Constraints An Int. J. 25(1-2): 47-69 (2020) - Ondrej Benedikt, István Módos, Zdenek Hanzálek:
Power of pre-processing: production scheduling with variable energy pricing and power-saving states. Constraints An Int. J. 25(3-4): 300-318 (2020) - Jaime E. González, André Augusto Ciré, Andrea Lodi, Louis-Martin Rousseau:
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem. Constraints An Int. J. 25(1-2): 23-46 (2020) - Hiroyuki Goto, Alan T. Murray:
Exact and flexible solution approach to a critical chain project management problem. Constraints An Int. J. 25(3-4): 280-297 (2020) - Mohd. Hafiz Hasan, Pascal Van Hentenryck:
The flexible and real-time commute trip sharing problems. Constraints An Int. J. 25(3-4): 160-179 (2020) - Emmanuel Hebrard, Nysret Musliu:
Introduction to the CPAIOR 2020 fast track issue. Constraints An Int. J. 25(3-4): 298-299 (2020) - Mohamed Amine Omrani, Wady Naanaa:
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs. Constraints An Int. J. 25(1-2): 1-22 (2020) - Rodrigue Konan Tchinda, Clémentin Tayou Djamégni:
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Constraints An Int. J. 25(3-4): 251-279 (2020) - Dimosthenis C. Tsouros, Kostas Stergiou:
Efficient multiple constraint acquisition. Constraints An Int. J. 25(3-4): 180-225 (2020) - Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko:
Non-local configuration of component interfaces by constraint satisfaction. Constraints An Int. J. 25(3-4): 121-159 (2020) - Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus:
Learning optimal decision trees using constraint programming. Constraints An Int. J. 25(3-4): 226-250 (2020) - Mark Wallace, Neil Yorke-Smith:
A new constraint programming model and solving for the cyclic hoist scheduling problem. Constraints An Int. J. 25(3-4): 319-337 (2020) - 2019
- Dimitris Achlioptas, Panos Theodoropoulos:
Model counting with error-correcting codes. Constraints An Int. J. 24(2): 162-182 (2019) - Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey:
Constraints for symmetry breaking in graph representation. Constraints An Int. J. 24(1): 1-24 (2019) - Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey:
The item dependent stockingcost constraint. Constraints An Int. J. 24(2): 183-209 (2019) - Michal Karpinski, Marek Piotrów:
Encoding cardinality constraints using multiway merge selection networks. Constraints An Int. J. 24(3-4): 234-251 (2019) - Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana L. C. Bazzan, Amnon Meisels:
Incentive-based search for equilibria in boolean games. Constraints An Int. J. 24(3-4): 288-319 (2019) - Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo:
Improved WPM encoding for coalition structure generation under MC-nets. Constraints An Int. J. 24(1): 25-55 (2019) - Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi:
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Constraints An Int. J. 24(3-4): 211-233 (2019) - Anthony Palmieri, Arnaud Lallouet, Luc Pons:
Constraint Games for stable and optimal allocation of demands in SDN. Constraints An Int. J. 24(3-4): 252-287 (2019) - Kostas Stergiou:
Neighborhood singleton consistencies. Constraints An Int. J. 24(1): 94-131 (2019) - Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
Compiling CP subproblems to MDDs and d-DNNFs. Constraints An Int. J. 24(1): 56-93 (2019) - Aolong Zha, Miyuki Koshimura, Hiroshi Fujita:
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. Constraints An Int. J. 24(2): 133-161 (2019) - 2018
- Anas Alghazi, Mary E. Kurz:
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Constraints An Int. J. 23(1): 123-153 (2018) - Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints An Int. J. 23(1): 44-86 (2018) - Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus:
How efficient is a global constraint in practice? - A fair experimental framework. Constraints An Int. J. 23(1): 87-122 (2018) - Guillaume Derval, Jean-Charles Régin, Pierre Schaus:
Improved filtering for the bin-packing with cardinality constraint. Constraints An Int. J. 23(3): 251-271 (2018) - Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz:
Online over time processing of combinatorial problems. Constraints An Int. J. 23(3): 310-334 (2018)
