Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDConstraints - 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
a service of 
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-04-26 18:30 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:
