default search action
Constraints - An International Journal, Volume 22
Volume 22, Number 1, January 2017
- Willem-Jan van Hoeve, Michel Rueher:
Introduction to the fast track issue for CP 2016. 1-2 - David A. Cohen, Peter G. Jeavons:
The power of propagation: when GAC is enough. 3-23 - Krishnamurthy Dvijotham
, Michael Chertkov
Graphical models for optimal power flow. 24-49 - David F. Manlove
"Almost-stable" matchings in the Hospitals / Residents problem with Couples. 50-72 - Emmanuel Hebrard
Constraint programming for planning test campaigns of communications satellites. 73-89 - Guido Tack, Christopher Mears:
PhD theses in constraints. 90 - Özgür Akgün
Extensible automated constraint modelling via refinement of abstract problem specifications. 91-92 - Mohammed Bekkouche
Combining techniques of bounded model checking and constraint programming to aid for error localization. 93-94 - Jesús Giráldez-Cru
Beyond the structure of SAT formulas. 95-96 - Achref El Mouelhi
Tractable classes for CSPs of arbitrary arity: from theory to practice. 97-98 - Joseph D. Scott:
Other things besides number: Abstraction, constraint propagation, and string variable types. 99-100 - Imen Zghidi
Towards statistical consistency for stochastic constraint programming. 101-102 - Michela Milano:
Report from the Editor in Chief, year 2015. 103-105
Volume 22, Number 2, April 2017
- Laurent D. Michel
A microkernel architecture for constraint programming. 107-151 - Carlo Comin, Roberto Posenato
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. 152-190 - Philippe Jégou, Cyril Terrioux:
Combining restarts, nogoods and bag-connected decompositions for solving CSPs. 191-229 - Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex
Triangle-based consistencies for cost function networks. 230-264 - Amina Kemmar, Yahia Lebbah
Prefix-projection global constraint and top-k approach for sequential pattern mining. 265-306
Volume 22, Number 3, July 2017
- Yuliya Lierler:
What is answer set programming to propositional satisfiability. 307-337 - Yash Puranik, Nikolaos V. Sahinidis
Domain reduction techniques for global NLP and MINLP optimization. 338-376 - Kostas Stergiou:
Revisiting restricted path consistency. 377-402 - Md. Masbaul Alam Polash
Constraint-directed search for all-interval series. 403-431 - Stefan Kreter, Andreas Schutt
Using constraint programming for solving RCPSP/max-cal. 432-462 - Anicet Bart
A global constraint for over-approximation of real-time streams. 463-490
Volume 22, Number 4, October 2017
- Domenico Salvagnin, Michele Lombardi:
Introduction to the CPAIOR 2017 fast track issue. 491-492 - Sascha Van Cauwelaert, Pierre Schaus:
Efficient filtering for the Resource-Cost AllDifferent constraint. 493-511 - Jip J. Dekker
Auto-tabling for subproblem presolving in MiniZinc. 512-529 - Margaux Nattaf, Christian Artigues, Pierre Lopez:
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions. 530-547 - John O. R. Aoga
Mining Time-constrained Sequential Patterns with Constraint Programming. 548-570
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: