Login / Signup
Constraints An Int. J.
Publications
volume 28, number 1, 2023
Anissa Kheireddine
,
Etienne Renault
,
Souheib Baarir
Towards better heuristics for solving bounded model checking problems.
Constraints An Int. J.
28 (1) (2023)
Rustem Takhanov
The algebraic structure of the densification and the sparsification tasks for CSPs.
Constraints An Int. J.
28 (1) (2023)
Matteo Zavatteri
,
Alice Raffaele
,
Dario Ostuni
,
Romeo Rizzi
An interdisciplinary experimental evaluation on the disjunctive temporal problem.
Constraints An Int. J.
28 (1) (2023)
volume 28, number 2, 2023
Ilankaikone Senthooran
,
Matthias Klapperstück
,
Gleb Belov
,
Tobias Czauderna
,
Kevin Leo
,
Mark Wallace
,
Michael Wybrow
,
Maria Garcia de la Banda
Human-centred feasibility restoration in practice.
Constraints An Int. J.
28 (2) (2023)
Tomás Dlask
,
Tomás Werner
,
Simon de Givry
Super-reparametrizations of weighted CSPs: properties and optimization perspective.
Constraints An Int. J.
28 (2) (2023)
Tomás Dlask
Block-coordinate descent and local consistencies in linear programming.
Constraints An Int. J.
28 (2) (2023)
Marie-Louise Lackner
,
Christoph Mrkvicka
,
Nysret Musliu
,
Daniel Walkiewicz
,
Felix Winter
Exact methods for the Oven Scheduling Problem.
Constraints An Int. J.
28 (2) (2023)
Edward Lam
Hybrid optimization of vehicle routing problems.
Constraints An Int. J.
28 (2) (2023)
Manuel Bodirsky
,
Jakub Bulín
,
Florian Starke
,
Michael Wernthaler
The smallest hard trees.
Constraints An Int. J.
28 (2) (2023)
Pouya Shati
,
Eldan Cohen
,
Sheila A. McIlraith
SAT-based optimal classification trees for non-binary data.
Constraints An Int. J.
28 (2) (2023)
Johan Wessén
,
Mats Carlsson
,
Christian Schulte
,
Pierre Flener
,
Federico Pecora
,
Mihhail Matskin
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot.
Constraints An Int. J.
28 (2) (2023)
Ágnes Cseh
,
Guillaume Escamocher
,
Luis Quesada
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences.
Constraints An Int. J.
28 (2) (2023)
Tomás Dlask
,
Tomás Werner
Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs.
Constraints An Int. J.
28 (2) (2023)
volume 28, number 3, 2023
Pierre Talbot
Spacetime programming: a synchronous language for constraint search.
Constraints An Int. J.
28 (3) (2023)
Jan Dreier
,
Sebastian Ordyniak
,
Stefan Szeider
CSP beyond tractable constraint languages.
Constraints An Int. J.
28 (3) (2023)
Mathieu Vavrille
,
Charlotte Truchet
,
Charles Prud'homme
Correction to: Solution sampling with random table constraints.
Constraints An Int. J.
28 (3) (2023)
Utku Umur Acikalin
,
Bugra Çaskurlu
,
K. Subramani
Security-Aware Database Migration Planning.
Constraints An Int. J.
28 (3) (2023)
Felix Ulrich-Oltean
,
Peter Nightingale
,
James Alfred Walker
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints.
Constraints An Int. J.
28 (3) (2023)
Christian Bessiere
,
Clément Carbonnel
,
Martin C. Cooper
,
Emmanuel Hebrard
Complexity of minimum-size arc-inconsistency explanations.
Constraints An Int. J.
28 (3) (2023)
Kyle E. C. Booth
Constraint programming approaches to electric vehicle and robot routing problems.
Constraints An Int. J.
28 (3) (2023)
Gustav Björdal
From declarative models to local search.
Constraints An Int. J.
28 (3) (2023)
Rémy Garcia
Floating-point numbers round-off error analysis by constraint programming.
Constraints An Int. J.
28 (3) (2023)
Hélène Verhaeghe
The extensional constraint.
Constraints An Int. J.
28 (3) (2023)
Mohamed Sami Cherif
Reasoning and inference for (Maximum) satisfiability: new insights.
Constraints An Int. J.
28 (3) (2023)
Jordi Coll Caballero
Scheduling through logic-based tools.
Constraints An Int. J.
28 (3) (2023)
Rocsildes Canoy
,
Víctor Bucarey
,
Jayanta Mandi
,
Tias Guns
Learn and route: learning implicit preferences for vehicle routing.
Constraints An Int. J.
28 (3) (2023)
Margarita P. Castro
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming.
Constraints An Int. J.
28 (3) (2023)
volume 28, number 4, 2023
Mathieu Vavrille
A feature commonality-based search strategy to find high t-wise covering solutions in feature models.
Constraints An Int. J.
28 (4) (2023)
Justin J. Boutilier
,
Carla Michini
,
Zachary Zhou
Optimal multivariate decision trees.
Constraints An Int. J.
28 (4) (2023)
volume 27, number 1-2, 2022
Roberto Bagnara
,
Abramo Bagnara
,
Fabio Biselli
,
Michele Chiari
,
Roberta Gori
Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Constraints An Int. J.
27 (1-2) (2022)
Antonio Garrido
A constraint-based approach to learn temporal features on action models from multiple plans.
Constraints An Int. J.
27 (1-2) (2022)
Anthony Karahalios
,
Willem-Jan van Hoeve
Variable ordering for decision diagrams: A portfolio approach.
Constraints An Int. J.
27 (1-2) (2022)
Avraham Itzhakov
,
Michael Codish
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs.
Constraints An Int. J.
27 (1-2) (2022)
Miyuki Koshimura
,
Emi Watanabe
,
Yuko Sakurai
,
Makoto Yokoo
Concise integer linear programming formulation for clique partitioning problems.
Constraints An Int. J.
27 (1-2) (2022)
Dimitri Justeau-Allaire
,
Charles Prud'homme
Global domain views for expressive and cross-domain constraint programming.
Constraints An Int. J.
27 (1-2) (2022)
Chaitanya K. Joshi
,
Quentin Cappart
,
Louis-Martin Rousseau
,
Thomas Laurent
Learning the travelling salesperson problem requires rethinking generalization.
Constraints An Int. J.
27 (1-2) (2022)
volume 27, number 3, 2022
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.
Constraints An Int. J.
27 (3) (2022)
Á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.
Constraints An Int. J.
27 (3) (2022)
Petr Kucera
,
Petr Savický
Propagation complete encodings of smooth DNNF theories.
Constraints An Int. J.
27 (3) (2022)
Guilherme de Azevedo Silveira
Generative magic and designing magic performances with constraint programming.
Constraints An Int. J.
27 (3) (2022)
João Araújo
,
Choiwah Chow
,
Mikolás Janota
Boosting isomorphic model filtering with invariants.
Constraints An Int. J.
27 (3) (2022)
Georg Gottlob
,
Cem Okulmus
,
Reinhard Pichler
Fast and parallel decomposition of constraint satisfaction problems.
Constraints An Int. J.
27 (3) (2022)
Barnaby Martin
,
Justin Pearson
When bounds consistency implies domain consistency for regular counting constraints.
Constraints An Int. J.
27 (3) (2022)
volume 27, number 4, 2022
Louis-Pierre Campeau
,
Michel Gamache
Short- and medium-term optimization of underground mine planning using constraint programming.
Constraints An Int. J.
27 (4) (2022)
Mathieu Vavrille
,
Charlotte Truchet
,
Charles Prud'homme
Solution sampling with random table constraints.
Constraints An Int. J.
27 (4) (2022)
Boro Sofranac
,
Ambros M. Gleixner
,
Sebastian Pokutta
An algorithm-independent measure of progress for linear constraint propagation.
Constraints An Int. J.
27 (4) (2022)
volume 26, number 1, 2021
Jo Devriendt
,
Ambros M. Gleixner
,
Jakob Nordström
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.
Constraints An Int. J.
26 (1) (2021)
Yuchen Pang
,
Carleton Coffrin
,
Andrey Y. Lokhov
,
Marc Vuffray
The potential of quantum annealing for rapid solution structure identification.
Constraints An Int. J.
26 (1) (2021)
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) (2021)
Jana Koehler
,
Josef Bürgler
,
Urs Fontana
,
Etienne Fux
,
Florian A. Herzog
,
Marc Pouly
,
Sophia Saller
,
Anastasia Salyaeva
,
Peter Scheiblechner
,
Kai Waelti
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints.
Constraints An Int. J.
26 (1) (2021)