| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
Compiling CP subproblems to MDDs and d-DNNFs.  |
Constraints  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Achlioptas, Panos Theodoropoulos |
Model counting with error-correcting codes. |
Constraints |
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 |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Palmieri, Arnaud Lallouet, Luc Pons |
Constraint Games for stable and optimal allocation of demands in SDN. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Karpinski, Marek Piotrów |
Encoding cardinality constraints using multiway merge selection networks. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey |
The item dependent stockingcost constraint. |
Constraints |
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 |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Stergiou 0001 |
Neighborhood singleton consistencies. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Ana L. C. Bazzan, Amnon Meisels |
Incentive-based search for equilibria in boolean games. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aolong Zha, Miyuki Koshimura, Hiroshi Fujita |
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey |
Constraints for symmetry breaking in graph representation. |
Constraints |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene C. Freuder |
Progress towards the Holy Grail. |
Constraints |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Vion, Sylvain Piechowiak |
From MDD to BDD and Arc consistency. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem-Jan van Hoeve |
Introduction to the CPAIOR 2018 fast track issue. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Marco Maratea, Luca Pulina |
Translation-based approaches for solving disjunctive temporal problems with preferences. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif |
MiniBrass: Soft constraints for MiniZinc. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Achref El Mouelhi |
On a new extension of BTP for binary CSPs. |
Constraints |
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 |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anas Alghazi, Mary E. Kurz |
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robinson Duque, Alejandro Arbelaez, Juan Francisco Díaz |
Online over time processing of combinatorial problems. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John N. Hooker, Willem Jan van Hoeve |
Constraint programming and operations research. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano |
Twenty Years of Constraint Programming (CP) Research. |
Constraints |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Derval, Jean-Charles Régin, Pierre Schaus |
Improved filtering for the bin-packing with cardinality constraint. |
Constraints |
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 |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Zghidi, Brahim Hnich, Abdelwaheb Rebaï |
Modeling uncertainties with chance constraints. |
Constraints |
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 |
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 |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Fischetti, Jason Jo |
Deep neural networks and mixed integer linear optimization. |
Constraints |
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 |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yash Puranik, Nikolaos V. Sahinidis |
Domain reduction techniques for global NLP and MINLP optimization. |
Constraints |
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 |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Achref El Mouelhi |
Tractable classes for CSPs of arbitrary arity: from theory to practice. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra |
Graphical models for optimal power flow. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Cohen, Peter G. Jeavons |
The power of propagation: when GAC is enough. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Stergiou 0001 |
Revisiting restricted path consistency. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kreter, Andreas Schutt, Peter J. Stuckey |
Using constraint programming for solving RCPSP/max-cal. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Milano |
Report from the Editor in Chief, year 2015. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Comin, Roberto Posenato, Romeo Rizzi |
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent D. Michel, Pascal Van Hentenryck |
A microkernel architecture for constraint programming. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Salvagnin, Michele Lombardi 0001 |
Introduction to the CPAIOR 2017 fast track issue. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem-Jan van Hoeve, Michel Rueher |
Introduction to the fast track issue for CP 2016. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amina Kemmar, Yahia Lebbah, Samir Loudni, Patrice Boizumault, Thierry Charnois |
Prefix-projection global constraint and top-k approach for sequential pattern mining. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Akgün |
Extensible automated constraint modelling via refinement of abstract problem specifications. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Giráldez-Cru |
Beyond the structure of SAT formulas. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex |
Triangle-based consistencies for cost function networks. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler |
What is answer set programming to propositional satisfiability. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar 0001 |
Constraint-directed search for all-interval series. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Zghidi |
Towards statistical consistency for stochastic constraint programming. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Van Cauwelaert, Pierre Schaus |
Efficient filtering for the Resource-Cost AllDifferent constraint. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John O. R. Aoga, Tias Guns, Pierre Schaus |
Mining Time-constrained Sequential Patterns with Constraint Programming. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anicet Bart, Charlotte Truchet, Eric Monfroy |
A global constraint for over-approximation of real-time streams. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Jégou, Cyril Terrioux |
Combining restarts, nogoods and bag-connected decompositions for solving CSPs. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Scott |
Other things besides number: Abstraction, constraint propagation, and string variable types. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Bekkouche |
Combining techniques of bounded model checking and constraint programming to aid for error localization. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan, Bertrand Cabon |
Constraint programming for planning test campaigns of communications satellites. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Tack, Christopher Mears |
PhD theses in constraints. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette |
Auto-tabling for subproblem presolving in MiniZinc. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman |
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Vismara, Remi Coletta, Gilles Trombettoni |
Constrained global optimization for wine blending. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Lam, Pascal Van Hentenryck |
A branch-and-price-and-check model for the vehicle routing problem with location congestion. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | El Mehdi El Graoui, Imade Benelallam, El-Houssine Bouyakhf |
A commentary on "Hybrid search for minimal perturbation in Dynamic CSPs". |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva |
Fast, flexible MUS enumeration. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Lombardi 0001, Stefano Gualandi |
A lagrangian propagator for artificial neural networks in constraint programming. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Bankovic |
Extending SMT solvers with support for finite domain alldifferent constraint. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude-Guy Quimper |
Introduction to the fast track issue for CPAIOR 2016. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Soon Chee Loong, Wen-Yang Ku, J. Christopher Beck |
ℚ-bounds consistency for the spread constraint with variable mean. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh |
Three generalizations of the FOCUS constraint. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Hurley 0001, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry |
Multi-language evaluation of exact solvers in graphical model discrete optimization. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Visual search tree profiling. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guillaume Fages, Xavier Lorca, Louis-Martin Rousseau |
The salesman and the tree: the importance of search in CP. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Editor's note. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Avraham Itzhakov, Michael Codish |
Breaking symmetries in graph search with canonizing sets. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Di Gaspero, Andrea Rendl, Tommaso Urli |
Balancing bike sharing systems with constraint programming. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Paparrizou, Kostas Stergiou 0001 |
Strong local consistency algorithms for table constraints. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Carbonnel, Martin C. Cooper |
Tractability in constraint satisfaction problems: a survey. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary |
General game playing with stochastic CSP. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis |
Using finite transducers for describing and synthesising structural time-series constraints. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Ignatiev, Mikolás Janota, João Marques-Silva |
Quantified maximum satisfiability. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi |
On computing minimal independent support and its applications to sampling and counting. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenij Thorstensen |
Structural decompositions for problems with global constraints. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossef Oren, Avishai Wool |
Side-channel cryptographic attacks using pseudo-boolean optimization. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John N. Hooker |
Projection, consistency, and George Boole. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Dems, Louis-Martin Rousseau, Jean-Marc Frayret |
A hybrid constraint programming approach to a wood procurement problem with bucking decisions. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Bertrand Gauthier, Antoine Legrain |
Operating room management under uncertainty. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Kilby, Tommaso Urli |
Fleet design optimisation from historical data using constraint programming and large neighbourhood search. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, André Augusto Ciré |
Theoretical insights and algorithmic tools for decision diagram-based optimization. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Jaulin |
Range-only SLAM with indistinguishable landmarks; a constraint programming approach. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller |
Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa Carvalho |
Probabilistic constraint reasoning. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap |
Improving the lower bound of simple tabular reduction. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tias Guns |
Declarative pattern mining using constraint programming. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bergman, André Augusto Ciré, Willem-Jan van Hoeve |
Lagrangian bounds from decision diagrams. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
Solving strong controllability of temporal problems with uncertainty using SMT. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux |
A hybrid tractable class for non-binary CSPs. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Mears, Maria Garcia de la Banda, Mark Wallace 0001, Bart Demoen |
A method for detecting symmetries in constraint models and its generalisation. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
Scheduling scientific experiments for comet exploration. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su |
Adding laziness in BnB-ADOPT+. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license