default search action

combined dblp search
author search
venue search
publication search

ask others

Constraints - An International Journal, Volume 27

> Home > Journals > Constraints - An International Journal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 27, Number 1-2, April 2022

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Justeau-Allaire22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Justeau-Allaire22
Dimitri Justeau-Allaire, Charles Prud'homme:
Global domain views for expressive and cross-domain constraint programming. 1-7
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/ItzhakovC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/ItzhakovC22
Avraham Itzhakov, Michael Codish:
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. 8-28
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/BagnaraBBCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/BagnaraBBCG22
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori:
Correct approximation of IEEE 754 floating-point arithmetic for program verification. 29-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/JoshiCRL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/JoshiCRL22
Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent:
Learning the travelling salesperson problem requires rethinking generalization. 70-98
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/KoshimuraWSY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/KoshimuraWSY22
Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo:
Concise integer linear programming formulation for clique partitioning problems. 99-115
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/KarahaliosH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/KarahaliosH22
Anthony Karahalios, Willem-Jan van Hoeve:
Variable ordering for decision diagrams: A portfolio approach. 116-133
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Garrido22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Garrido22
Antonio Garrido:
A constraint-based approach to learn temporal features on action models from multiple plans. 134-160

Volume 27, Number 3, July 2022

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/MartinP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/MartinP22
Barnaby Martin, Justin Pearson:
When bounds consistency implies domain consistency for regular counting constraints. 161-167
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/Silveira22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/Silveira22
Guilherme de Azevedo Silveira:
Generative magic and designing magic performances with constraint programming. 168-191
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/CarissanHPTV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CarissanHPTV22
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
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/CsehEGQ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CsehEGQ22
Á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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/constraints/GottlobOP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GottlobOP22
Georg Gottlob, Cem Okulmus, Reinhard Pichler:
Fast and parallel decomposition of constraint satisfaction problems. 284-326
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/KuceraS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/KuceraS22
Petr Kucera, Petr Savický:
Propagation complete encodings of smooth DNNF theories. 327-359
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/AraujoCJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/AraujoCJ22
João Araújo, Choiwah Chow, Mikolás Janota:
Boosting isomorphic model filtering with invariants. 360-379

Volume 27, Number 4, December 2022

- view
  authority control:
- export record
  dblp key:
  - journals/constraints/VavrilleTP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/VavrilleTP22
Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme:
Solution sampling with random table constraints. 381-413
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/CampeauG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/CampeauG22
Louis-Pierre Campeau, Michel Gamache:
Short- and medium-term optimization of underground mine planning using constraint programming. 414-431
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/SofranacGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/SofranacGP22
Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta:
An algorithm-independent measure of progress for linear constraint propagation. 432-455

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.