| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rémy Garcia |
Floating-point numbers round-off error analysis by constraint programming.  |
Constraints An Int. J.  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyle E. C. Booth |
Constraint programming approaches to electric vehicle and robot routing problems. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace 0001, Michael Wybrow, Maria Garcia de la Banda |
Human-centred feasibility restoration in practice. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
Towards better heuristics for solving bounded model checking problems. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita P. Castro |
Optimization methods based on decision diagrams for constraint programming, AI planning, and mathematical programming. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Vavrille |
A feature commonality-based search strategy to find high t-wise covering solutions in feature models. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Coll Caballero |
Scheduling through logic-based tools. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustem Takhanov |
The algebraic structure of the densification and the sparsification tasks for CSPs. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wessén, Mats Carlsson, Christian Schulte 0001, 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. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin J. Boutilier, Carla Michini, Zachary Zhou |
Optimal multivariate decision trees. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Louise Lackner, Christoph Mrkvicka, Nysret Musliu, Daniel Walkiewicz, Felix Winter |
Exact methods for the Oven Scheduling Problem. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ágnes Cseh, Guillaume Escamocher, Luis Quesada 0001 |
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustav Björdal |
From declarative models to local search. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Verhaeghe |
The extensional constraint. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Lam 0001 |
Hybrid optimization of vehicle routing problems. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Zavatteri, Alice Raffaele, Dario Ostuni, Romeo Rizzi |
An interdisciplinary experimental evaluation on the disjunctive temporal problem. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme |
Correction to: Solution sampling with random table constraints. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Sami Cherif |
Reasoning and inference for (Maximum) satisfiability: new insights. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocsildes Canoy, Víctor Bucarey, Jayanta Mandi, Tias Guns |
Learn and route: learning implicit preferences for vehicle routing. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
CSP beyond tractable constraint languages. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Talbot |
Spacetime programming: a synchronous language for constraint search. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Utku Umur Acikalin, Bugra Çaskurlu, K. Subramani 0001 |
Security-Aware Database Migration Planning. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Dlask |
Block-coordinate descent and local consistencies in linear programming. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
SAT-based optimal classification trees for non-binary data. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
Complexity of minimum-size arc-inconsistency explanations. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Jakub Bulín, Florian Starke, Michael Wernthaler |
The smallest hard trees. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Dlask, Tomás Werner, Simon de Givry |
Super-reparametrizations of weighted CSPs: properties and optimization perspective. |
Constraints An Int. J. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Garrido 0002 |
A constraint-based approach to learn temporal features on action models from multiple plans. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Pierre Campeau, Michel Gamache |
Short- and medium-term optimization of underground mine planning using constraint programming. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Avraham Itzhakov, Michael Codish |
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Justeau-Allaire, Charles Prud'homme |
Global domain views for expressive and cross-domain constraint programming. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Chaitanya K. Joshi, Quentin Cappart, Louis-Martin Rousseau, Thomas Laurent 0001 |
Learning the travelling salesperson problem requires rethinking generalization. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Martin, Justin Pearson |
When bounds consistency implies domain consistency for regular counting constraints. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | João Araújo 0002, Choiwah Chow, Mikolás Janota |
Boosting isomorphic model filtering with invariants. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta |
An algorithm-independent measure of progress for linear constraint propagation. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Karahalios, Willem-Jan van Hoeve |
Variable ordering for decision diagrams: A portfolio approach. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme de Azevedo Silveira |
Generative magic and designing magic performances with constraint programming. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Cem Okulmus, Reinhard Pichler |
Fast and parallel decomposition of constraint satisfaction problems. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme |
Solution sampling with random table constraints. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo |
Concise integer linear programming formulation for clique partitioning problems. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ágnes Cseh, Guillaume Escamocher, Begüm Genç, Luis Quesada 0001 |
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Kucera, Petr Savický |
Propagation complete encodings of smooth DNNF theories. |
Constraints An Int. J. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuchen Pang, Carleton Coffrin, Andrey Y. Lokhov, Marc Vuffray |
The potential of quantum annealing for rapid solution structure identification. |
Constraints An Int. J. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Goto, Alan T. Murray |
Exact and flexible solution approach to a critical chain project management problem. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Frédéric Boussemart, Christophe Lecoutre, Cédric Piette, Olivier Roussel |
XCSP3 and its ecosystem. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Benedikt, István Módos, Zdenek Hanzálek |
Power of pre-processing: production scheduling with variable energy pricing and power-saving states. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohd. Hafiz Hasan, Pascal Van Hentenryck |
The flexible and real-time commute trip sharing problems. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimosthenis C. Tsouros, Kostas Stergiou 0001 |
Efficient multiple constraint acquisition. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Amine Omrani, Wady Naanaa |
Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Verhaeghe, Siegfried Nijssen, Gilles Pesant, Claude-Guy Quimper, Pierre Schaus |
Learning optimal decision trees using constraint programming. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime E. González, André Augusto Ciré, Andrea Lodi 0001, Louis-Martin Rousseau |
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Nysret Musliu |
Introduction to the CPAIOR 2020 fast track issue. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Wallace 0001, Neil Yorke-Smith |
A new constraint programming model and solving for the cyclic hoist scheduling problem. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko |
Non-local configuration of component interfaces by constraint satisfaction. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
Invariants for time-series constraints. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigue Konan Tchinda, Clémentin Tayou Djamégni |
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. |
Constraints An Int. J. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
Compiling CP subproblems to MDDs and d-DNNFs. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Achlioptas, Panos Theodoropoulos |
Model counting with error-correcting codes. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo |
Improved WPM encoding for coalition structure generation under MC-nets. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Palmieri, Arnaud Lallouet, Luc Pons |
Constraint Games for stable and optimal allocation of demands in SDN. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Karpinski, Marek Piotrów |
Encoding cardinality constraints using multiway merge selection networks. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey |
The item dependent stockingcost constraint. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi |
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Stergiou 0001 |
Neighborhood singleton consistencies. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Levit 0001, Zohar Komarovsky, Tal Grinshpoun, Ana L. C. Bazzan, Amnon Meisels |
Incentive-based search for equilibria in boolean games. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aolong Zha, Miyuki Koshimura, Hiroshi Fujita 0002 |
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Alice Miller 0001, Patrick Prosser, Peter J. Stuckey |
Constraints for symmetry breaking in graph representation. |
Constraints An Int. J. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene C. Freuder |
Progress towards the Holy Grail. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Fahimi, Yanick Ouellet, Claude-Guy Quimper |
Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Vion, Sylvain Piechowiak |
From MDD to BDD and Arc consistency. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem-Jan van Hoeve |
Introduction to the CPAIOR 2018 fast track issue. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Luca Pulina |
Translation-based approaches for solving disjunctive temporal problems with preferences. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif |
MiniBrass: Soft constraints for MiniZinc. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Achref El Mouelhi |
On a new extension of BTP for binary CSPs. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím |
IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Van Cauwelaert, Michele Lombardi 0001, Pierre Schaus |
How efficient is a global constraint in practice? - A fair experimental framework. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anas Alghazi, Mary E. Kurz |
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz |
Online over time processing of combinatorial problems. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John N. Hooker, Willem Jan van Hoeve |
Constraint programming and operations research. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano |
Twenty Years of Constraint Programming (CP) Research. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Derval, Jean-Charles Régin, Pierre Schaus |
Improved filtering for the bin-packing with cardinality constraint. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinasétan Ratheil Houndji |
Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Fioretto, Enrico Pontelli, William Yeoh 0001, Rina Dechter |
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï |
Modeling uncertainties with chance constraints. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
Deriving generic bounds for time-series constraints based on regular expressions characteristics. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morin, Margarita P. Castro, Kyle E. C. Booth, Tony T. Tran, Chang Liu 0029, J. Christopher Beck |
Intruder alert! Optimization models for solving the mobile robot graph-clear problem. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Fischetti, Jason Jo |
Deep neural networks and mixed integer linear optimization. |
Constraints An Int. J. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaux Nattaf, Christian Artigues, Pierre Lopez |
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yash Puranik, Nikolaos V. Sahinidis |
Domain reduction techniques for global NLP and MINLP optimization. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Manlove, Iain McBride, James Trimble 0001 |
"Almost-stable" matchings in the Hospitals / Residents problem with Couples. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Achref El Mouelhi |
Tractable classes for CSPs of arbitrary arity: from theory to practice. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra |
Graphical models for optimal power flow. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter G. Jeavons |
The power of propagation: when GAC is enough. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license