![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Constraints - An International Journal, Volume 27
Volume 27, Number 1-2, April 2022
- Dimitri Justeau-Allaire
, Charles Prud'homme
:
Global domain views for expressive and cross-domain constraint programming. 1-7 - Avraham Itzhakov
, Michael Codish:
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. 8-28 - Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari
, Roberta Gori:
Correct approximation of IEEE 754 floating-point arithmetic for program verification. 29-69 - Chaitanya K. Joshi
, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent:
Learning the travelling salesperson problem requires rethinking generalization. 70-98 - Miyuki Koshimura
, Emi Watanabe, Yuko Sakurai, Makoto Yokoo
:
Concise integer linear programming formulation for clique partitioning problems. 99-115 - Anthony Karahalios
, Willem-Jan van Hoeve
:
Variable ordering for decision diagrams: A portfolio approach. 116-133 - Antonio Garrido
:
A constraint-based approach to learn temporal features on action models from multiple plans. 134-160
Volume 27, Number 3, July 2022
- Barnaby Martin, Justin Pearson
:
When bounds consistency implies domain consistency for regular counting constraints. 161-167 - Guilherme de Azevedo Silveira
:
Generative magic and designing magic performances with constraint programming. 168-191 - Yannick Carissan
, Denis Hagebaum-Reignier
, Nicolas Prcovic
, Cyril Terrioux
, Adrien Varet
:
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of Benzenoids. 192-248 - Ágnes Cseh, Guillaume Escamocher
, Begüm Genç, Luis Quesada:
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. 249-283 - Georg Gottlob
, Cem Okulmus
, Reinhard Pichler
:
Fast and parallel decomposition of constraint satisfaction problems. 284-326 - Petr Kucera
, Petr Savický:
Propagation complete encodings of smooth DNNF theories. 327-359 - João Araújo
, Choiwah Chow
, Mikolás Janota
:
Boosting isomorphic model filtering with invariants. 360-379
Volume 27, Number 4, December 2022
- Mathieu Vavrille
, Charlotte Truchet
, Charles Prud'homme
:
Solution sampling with random table constraints. 381-413 - Louis-Pierre Campeau
, Michel Gamache:
Short- and medium-term optimization of underground mine planning using constraint programming. 414-431 - Boro Sofranac
, Ambros M. Gleixner
, Sebastian Pokutta:
An algorithm-independent measure of progress for linear constraint propagation. 432-455
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.