×

zbMATH — the first resource for mathematics

Constraints

An International Journal

Short Title: Constraints
Publisher: Springer US, New York, NY
ISSN: 1383-7133; 1572-9354/e
Online: http://link.springer.com/journal/volumesAndIssues/10601
Documents Indexed: 416 Publications (since 1997)
References Indexed: 266 Publications with 9,495 References.
all top 5

Authors

22 Van Hentenryck, Pascal
21 Stuckey, Peter James
9 Lee, Jimmy Ho-man
8 Beldiceanu, Nicolas
8 Flener, Pierre
8 Garcia de la Banda, Maria
8 Hnich, Brahim
8 Meisels, Amnon
7 Beck, J. Christopher
7 Bessiere, Christian
7 Carlsson, Mats
7 Deville, Yves
7 Michel, Laurent
7 Rousseau, Louis-Martin
7 Wallace, Mark G.
7 Walsh, Toby
6 Hooker, John N. jun.
6 Jeavons, Peter G.
6 O’Sullivan, Barry
6 Pearson, Justin
6 Schiex, Thomas
6 van Hoeve, Willem-Jan
6 Zivan, Roie
5 Backofen, Rolf
5 Barahona, Pedro
5 Cohen, David A.
5 Freuder, Eugene C.
5 Hebrard, Emmanuel
5 Lecoutre, Christophe
5 Marques-Silva, João P.
5 Marriott, Kim
5 Mears, Christopher
5 Prestwich, Steven D.
5 Rueher, Michel
5 Schaus, Pierre
5 Smith, Barbara M.
4 Barták, Roman
4 Cambazard, Hadrien
4 Codish, Michael
4 de Givry, Simon
4 Dechter, Rina
4 Goldsztejn, Alexandre
4 Harvey, Warwick
4 Jussien, Narendra
4 Law, Yat Chiu
4 Le Pape, Claude
4 Lorca, Xavier
4 Meseguer, Pedro
4 Quimper, Claude-Guy
4 Stergiou, Kostas
4 Tarim, S. Armagan
4 Yap, Roland H. C.
3 Artigues, Christian
3 Baptiste, Philippe
3 Bofill, Miquel
3 Bouyakhf, El Houssine
3 Brodsky, Alexander
3 Caseau, Yves
3 Chu, Geoffrey
3 Ciré, André Augusto
3 Codognet, Philippe
3 Cooper, Martin C.
3 Demoen, Bart
3 Fargier, Hélène
3 Grégoire, Éric
3 Katriel, Irit
3 Liffiton, Mark H.
3 Lombardi, Michele
3 Lopez, Pierre
3 Lynce, Inês
3 Mazure, Bertrand
3 Milano, Michela
3 Pesant, Gilles
3 Petit, Thierry
3 Prosser, Patrick
3 Régin, Jean-Charles
3 Rossi, Roberto
3 Sattar, Abdul
3 Sellmann, Meinolf
3 Simonis, Helmut
3 Tack, Guido
3 Trombettoni, Gilles
3 Tsang, Edward P. K.
3 Vardi, Moshe Y.
3 Verfaillie, Gérard
3 Villaret, Mateu
3 Will, Sebastian
3 Wilson, Nic
2 Achlioptas, Dimitris
2 Ågren, Magnus
2 Anger, Frank D.
2 Ansótegui, Carlos
2 Azevedo, Francisco
2 Benhamou, Frédéric
2 Bistarelli, Stefano
2 Björdal, Gustav
2 Borning, Alan H.
2 Brand, Sebastian
2 Brown, Kenneth N.
2 Cabon, Bertrand
...and 574 more Authors

Publications by Year

Citations contained in zbMATH Open

287 Publications have been cited 1,598 times in 1,072 Documents Cited by Year
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114
Larrosa, Javier; Dechter, Rina
88
2003
Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143
Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H.
58
1999
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
33
2009
A cost-regular based hybrid column generation approach. Zbl 1117.90066
Demassey, Sophie; Pesant, Gilles; Rousseau, Louis-Martin
33
2006
Random constraint satisfaction: A more accurate picture. Zbl 0984.68085
Achlioptas, Dimitris; Molloy, Michael S. O.; Kirousis, Lefteris M.; Stamatiou, Yannis C.; Kranakis, Evangelos; Krizanc, Danny
26
2001
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
26
2001
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
26
2008
Radio link frequency assignment. Zbl 1020.94500
Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P.
23
1999
The design of the zinc modelling language. Zbl 1146.68352
Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
23
2008
A hybrid method for the planning and scheduling. Zbl 1122.90054
Hooker, J. N.
22
2005
Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039
Gervet, Carmen
20
1997
Earth observation satellite management. Zbl 0963.90507
Bensana, E.; Lemaître, M.; Verfaillie, G.
19
1999
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
19
2013
Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157
Régin, Jean-Charles
18
2002
Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828
Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby
18
2006
Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030
Baptiste, Philippe; LePape, Claude
17
2000
Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424
Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
17
2008
Constraint propagation on quadratic constraints. Zbl 1208.68200
Domes, Ferenc; Neumaier, Arnold
17
2010
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
17
2010
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
17
2009
CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616
Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E.
15
2003
Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014
El Sakkout, Hani; Wallace, Mark
15
2000
Solving various weighted matching problems with constraints. Zbl 0949.90058
Caseau, Yves; Laburthe, François
15
2000
SALSA: a language for search algorithms. Zbl 1020.68028
Laburthe, François; Caseau, Yves
15
2002
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Zbl 1204.68188
Cheng, Kenil C. K.; Yap, Roland H. C.
15
2010
A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589
Pulina, Luca; Tacchella, Armando
15
2009
High-order consistency in valued constraint satisfaction. Zbl 1112.68118
Cooper, Martin C.
14
2005
Constraint models for the covering test problem. Zbl 1103.68810
Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M.
14
2006
Formal languages for integer programming modeling of shift scheduling problems. Zbl 1215.90026
Côté, Marie-Claude; Gendron, Bernard; Quimper, Claude-Guy; Rousseau, Louis-Martin
14
2011
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
13
2011
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
13
2016
A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090
Lebbah, Yahia; Michel, Claude; Rueher, Michel
12
2005
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
12
2011
Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112
Kaymak, U.; Sousa, J. M.
12
2003
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
12
2006
Models and emerging trends of concurrent constraint programming. Zbl 1317.90283
Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.
12
2013
Increasing constraint propagation by redundant modeling: An experience report. Zbl 0949.68605
Cheng, B. M. W.; Choi, K. M. F.; Lee, J. H. M.; Wu, J. C. K.
11
1999
Confluence and semantics of constraint simplification rules. Zbl 0951.68070
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger
11
1999
An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811
Hooker, J. N.
11
2006
A global chance-constraint for stochastic inventory systems under service level constraints. Zbl 1162.90318
Rossi, Roberto; Tarim, S. Armagan; Hnich, Brahim; Prestwich, Steven
11
2008
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
10
2017
Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045
Schaerf, Andrea
10
1999
Optimization-oriented global constraints. Zbl 1028.68024
Focacci, Filippo; Lodi, Andrea; Milano, Michela
10
2002
Global constraint catalogue: past, present and future. Zbl 1128.68092
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry
10
2007
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
9
2011
IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG. Zbl 1400.90169
Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr
9
2018
A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints. Zbl 0985.90038
Kilby, Philip; Prosser, Patrick; Shaw, Paul
9
2000
Temporal constraints: A survey. Zbl 0911.68186
Schwalb, Eddie; Vila, Lluís
9
1998
Localizer. Zbl 0988.90015
Michel, Laurent; Van Hentenryck, Pascal
9
2000
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
9
2012
Local-search extraction of mUSes. Zbl 1211.90307
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric
8
2007
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
8
1997
Tractable cases of the extended global cardinality constraint. Zbl 1215.68164
Samer, Marko; Szeider, Stefan
8
2011
A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337
Sorlin, Sébastien; Solnon, Christine
8
2008
Solving Kirkman’s schoolgirl problem in a few seconds. Zbl 1112.90064
Barnier, Nicolas; Brisset, Pascal
7
2005
Symmetry breaking revisited. Zbl 1071.68094
Puget, Jean-François
7
2005
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
7
2013
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
7
2002
The complexity of reasoning with global constraints. Zbl 1124.68103
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
7
2007
On topological consistency and realization. Zbl 1103.68770
Li, Sanjiang
7
2006
Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117
Zivan, Roie; Meisels, Amnon
7
2006
Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632
Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic
7
2010
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324
Sanchez, Marti; de Givry, Simon; Schiex, Thomas
7
2008
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
Resolution-based lower bounds in MaxSAT. Zbl 1208.68204
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi
7
2010
Minimization of locally defined submodular functions by optimal soft arc consistency. Zbl 1180.90262
Cooper, Martin C.
7
2008
A framework for optimal correction of inconsistent linear constraints. Zbl 1066.90136
Amaral, Paula; Barahona, Pedro
6
2005
Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107
Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon
6
2016
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
6
2016
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Zbl 1181.90291
Liffiton, Mark; Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem
6
2009
Complete bound consistency for the global cardinality constraint. Zbl 1084.68138
Katriel, Irit; Thiel, Sven
6
2005
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
6
2015
Constraint networks of topological relations and convexity. Zbl 0946.68082
Davis, Ernest; Gotts, Nicholas Mark; Cohn, Anthony G.
6
1999
Refined inequalities for stable marriage. Zbl 1028.91530
Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C.
6
1999
Algorithmic power from declarative use of redundant constraints. Zbl 0949.68041
van Emden, M. H.
6
1999
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
6
2012
Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813
Law, Y. C.; Lee, J. H. M.
6
2006
Filtering algorithms for the NValue constraint. Zbl 1114.68064
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
6
2006
Cardinal: a finite sets constraint solver. Zbl 1118.68653
Azevedo, Francisco
6
2007
Asynchronous forward-checking for DisCSPs. Zbl 1118.68158
Meisels, Amnon; Zivan, Roie
6
2007
Efficient algorithms for singleton arc consistency. Zbl 1216.68236
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe
6
2011
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086
Goldsztejn, Alexandre; Granvilliers, Laurent
6
2010
Evaluating ASP and commercial solvers on the CSPLib. Zbl 1179.90287
Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco
6
2008
A solver for QBFs in negation normal form. Zbl 1167.68054
Egly, Uwe; Seidl, Martina; Woltran, Stefan
6
2009
Dynamic structural symmetry breaking for constraint satisfaction problems. Zbl 1186.68438
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus
5
2009
Control abstractions for local search. Zbl 1084.68033
Van Hentenryck, Pascal; Michel, Laurent
5
2005
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
5
2009
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
5
2011
A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073
Nattaf, Margaux; Artigues, Christian; Lopez, Pierre
5
2015
Graph coloring inequalities from all-different systems. Zbl 1316.90056
Bergman, David; Hooker, J. N.
5
2014
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
5
2018
How to determine the expressive power of constraints. Zbl 0951.68190
Jeavons, Peter; Cohen, David; Gyssens, Marc
5
1999
Optimal narrowing of a block of sortings in optimal time. Zbl 0947.68045
Bleuzen-Guernalec, Noëlle; Colmerauer, Alain
5
2000
A comparative study of eight constraint programming languages over the Boolean and finite domains. Zbl 0954.68031
Fernández, Antonio J.; Hill, Patricia M.
5
2000
Balancing and scheduling of flexible mixed model assembly lines. Zbl 1304.90149
Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan
5
2013
Reformulation of global constraints based on constraints checkers. Zbl 1103.68804
Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry
5
2005
A constraint-based approach to fast and exact structure prediction in three-dimensional protein models. Zbl 1103.68959
Backofen, Rolf; Will, Sebastian
5
2006
Nondeterministic control for hybrid search. Zbl 1112.68039
Van Hentenryck, Pascal; Michel, Laurent
5
2006
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
5
2008
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 07137186
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.
1
2019
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
1
2019
IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG. Zbl 1400.90169
Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr
9
2018
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
5
2018
Progress towards the Holy Grail. Zbl 1402.90178
Freuder, Eugene C.
1
2018
Constraint programming and operations research. Zbl 1402.90148
Hooker, J. N.; van Hoeve, W.-J.
1
2018
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina
1
2018
How efficient is a global constraint in practice? A fair experimental framework. Zbl 1394.90431
Van Cauwelaert, Sascha; Lombardi, Michele; Schaus, Pierre
1
2018
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233
Alghazi, Anas; Kurz, Mary E.
1
2018
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
10
2017
Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games. Zbl 1390.90102
Comin, Carlo; Posenato, Roberto; Rizzi, Romeo
3
2017
The power of propagation: when GAC is enough. Zbl 1387.90130
Cohen, David A.; Jeavons, Peter G.
2
2017
Cumulative scheduling with variable task profiles and concave piecewise linear processing rate functions. Zbl 1384.90047
Nattaf, Margaux; Artigues, Christian; Lopez, Pierre
2
2017
What is answer set programming to propositional satisfiability. Zbl 1423.68483
Lierler, Yuliya
2
2017
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
2
2017
A microkernel architecture for constraint programming. Zbl 1390.90520
Michel, L.; Van Hentenryck, P.
2
2017
Graphical models for optimal power flow. Zbl 1387.90262
Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant
1
2017
“Almost-stable” matchings in the hospitals/residents problem with couples. Zbl 1387.90143
Manlove, David F.; McBride, Iain; Trimble, James
1
2017
Auto-tabling for subproblem presolving in MiniZinc. Zbl 1425.68386
Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël
1
2017
Mining time-constrained sequential patterns with constraint programming. Zbl 1425.68338
Aoga, John O. R.; Guns, Tias; Schaus, Pierre
1
2017
Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining. Zbl 1427.68066
Kemmar, Amina; Lebbah, Yahia; Loudni, Samir; Boizumault, Patrice; Charnois, Thierry
1
2017
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
13
2016
Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107
Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon
6
2016
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
6
2016
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice
4
2016
On computing minimal independent support and its applications to sampling and counting. Zbl 1334.90146
Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y.
4
2016
Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220
Carbonnel, Clément; Cooper, Martin C.
4
2016
Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137
Itzhakov, Avraham; Codish, Michael
2
2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
2
2016
A Lagrangian propagator for artificial neural networks in constraint programming. Zbl 1368.90148
Lombardi, Michele; Gualandi, Stefano
2
2016
Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085
Kilby, Philip; Urli, Tommaso
2
2016
Projection, consistency, and George Boole. Zbl 1396.03041
Hooker, J. N.
2
2016
General game playing with stochastic CSP. Zbl 1411.91057
Koriche, Frédéric; Lagrue, Sylvain; Piette, Éric; Tabary, Sébastien
2
2016
Three generalizations of the FOCUS constraint. Zbl 1368.90110
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby
1
2016
Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105
Bergman, David; Cire, Andre A.
1
2016
Operating room management under uncertainty. Zbl 1368.90147
Gauthier, Jean Bertrand; Legrain, Antoine
1
2016
Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161
Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut
1
2016
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031
Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain
1
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
1
2016
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
6
2015
A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073
Nattaf, Margaux; Artigues, Christian; Lopez, Pierre
5
2015
Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
4
2015
Adaptive constructive interval disjunction: algorithms and experiments. Zbl 1329.90152
Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio
4
2015
New filtering for AtMostNValue and its weighted variant: a Lagrangian approach. Zbl 1327.90130
Cambazard, Hadrien; Fages, Jean-Guillaume
3
2015
A constraint-based local search backend for MiniZinc. Zbl 1325.90076
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin
2
2015
Large-scale parallelism for constraint-based local search: the costas array case study. Zbl 1316.90040
Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador
2
2015
A hybrid tractable class for non-binary CSPs. Zbl 1329.90149
El Mouelhi, Achref; Jégou, Philippe; Terrioux, Cyril
2
2015
A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353
Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal
1
2015
Hybrid metaheuristics for stochastic constraint programming. Zbl 1316.90033
Prestwich, S. D.; Tarim, S. A.; Rossi, R.; Hnich, B.
1
2015
Scheduling scientific experiments for comet exploration. Zbl 1314.90041
Simonin, Gilles; Artigues, Christian; Hebrard, Emmanuel; Lopez, Pierre
1
2015
Improving the lower bound of simple tabular reduction. Zbl 1316.90026
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
1
2015
Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
1
2015
Graph coloring inequalities from all-different systems. Zbl 1316.90056
Bergman, David; Hooker, J. N.
5
2014
meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049
Stojadinović, Mirko; Marić, Filip
4
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
3
2014
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
3
2014
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
2
2014
A quadratic edge-finding filtering algorithm for cumulative resource constraints. Zbl 1314.90038
Kameugne, Roger; Fotso, Laure Pauline; Scott, Joseph; Ngo-Kateu, Youcheu
2
2014
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
1
2014
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Zbl 1316.90027
Lee, J. H. M.; Leung, K. L.; Shum, Y. W.
1
2014
The octagon abstract domain for continuous constraints. Zbl 1338.90393
Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric
1
2014
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
19
2013
Models and emerging trends of concurrent constraint programming. Zbl 1317.90283
Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.
12
2013
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
7
2013
Balancing and scheduling of flexible mixed model assembly lines. Zbl 1304.90149
Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan
5
2013
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
4
2013
View-based propagator derivation. Zbl 1328.68202
Schulte, Christian; Tack, Guido
4
2013
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Zbl 1309.90083
Ansótegui, Carlos; Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu
3
2013
Using dual presolving reductions to reformulate cumulative constraints. Zbl 1309.90066
Heinz, Stefan; Schulz, Jens; Beck, J. Christopher
2
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
2
2013
On the hardness of solving edge matching puzzles as SAT or CSP problems. Zbl 1310.05055
Ansótegui, Carlos; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles
1
2013
Nogood-based asynchronous forward checking algorithms. Zbl 1327.90113
Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine
1
2013
Redundant disequalities in the Latin square problem. Zbl 1317.90253
Demoen, Bart; Garcia de la Banda, Maria
1
2013
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
9
2012
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
6
2012
Solving constraint satisfaction problems with SAT modulo theories. Zbl 1309.90099
Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu
4
2012
Interval-based projection method for under-constrained numerical systems. Zbl 1309.90101
Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe
4
2012
Dulmage-Mendelsohn canonical decomposition as a generic pruning technique. Zbl 1309.90116
Cymer, Radosław
2
2012
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
Corrigendum to: “Min-domain retroactive ordering for asynchronous backtracking”. Zbl 1304.68165
Mechqrane, Younes; Wahbi, Mohamed; Bessiere, Christian; Bouyakhf, El Houssine; Meisels, Amnon; Zivan, Roie
1
2012
LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089
Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal
1
2012
A complexity perspective on entailment of parameterized linear constraints. Zbl 1309.90107
Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr
1
2012
Exploiting subproblem dominance in constraint programming. Zbl 1247.68249
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
1
2012
Formal languages for integer programming modeling of shift scheduling problems. Zbl 1215.90026
Côté, Marie-Claude; Gendron, Bernard; Quimper, Claude-Guy; Rousseau, Louis-Martin
14
2011
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
13
2011
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
12
2011
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
9
2011
Tractable cases of the extended global cardinality constraint. Zbl 1215.68164
Samer, Marko; Szeider, Stefan
8
2011
Efficient algorithms for singleton arc consistency. Zbl 1216.68236
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe
6
2011
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
5
2011
Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian
5
2011
Hybrid search for minimal perturbation in dynamic CSPs. Zbl 1233.90176
Zivan, Roie; Grubshtein, Alon; Meisels, Amnon
3
2011
New algorithms for max restricted path consistency. Zbl 1241.68098
Balafoutis, Thanasis; Paparrizou, Anastasia; Stergiou, Kostas; Walsh, Toby
3
2011
CP and IP approaches to cancer radiotherapy delivery optimization. Zbl 1213.90271
Baatar, Davaatseren; Boland, Natashia; Brand, Sebastian; Stuckey, Peter J.
2
2011
Constraint programming approach to a bilevel scheduling problem. Zbl 1233.90162
Kovács, András; Kis, Tamás
2
2011
A global constraint for total weighted completion time for unary resources. Zbl 1215.90028
Kovács, András; Beck, J. Christopher
1
2011
Constraint propagation on quadratic constraints. Zbl 1208.68200
Domes, Ferenc; Neumaier, Arnold
17
2010
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
17
2010
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Zbl 1204.68188
Cheng, Kenil C. K.; Yap, Roland H. C.
15
2010
...and 187 more Documents
all top 5

Cited by 1,802 Authors

22 Stuckey, Peter James
18 Rousseau, Louis-Martin
17 Marques-Silva, João P.
16 Hnich, Brahim
15 Cooper, Martin C.
15 Walsh, Toby
14 Olarte, Carlos
14 Tarim, S. Armagan
13 O’Sullivan, Barry
13 Rossi, Roberto
13 Van Hentenryck, Pascal
13 Živný, Stanislav
12 Bessiere, Christian
12 Prestwich, Steven D.
10 Cohen, David A.
10 Schaub, Torsten H.
9 Beck, J. Christopher
9 Beldiceanu, Nicolas
9 Bortolussi, Luca
9 de Givry, Simon
9 Domes, Ferenc
9 Flener, Pierre
9 Goldsztejn, Alexandre
9 Jeavons, Peter G.
9 Lecoutre, Christophe
9 Lee, Jimmy Ho-man
9 Meisels, Amnon
9 Schiex, Thomas
8 Artigues, Christian
8 Cambazard, Hadrien
8 Dechter, Rina
8 Greco, Gianluigi
8 Hooker, John N. jun.
8 Larrosa, Javier
8 Neumaier, Arnold
8 Solnon, Christine
8 Wilson, Nic
7 Carlsson, Mats
7 Jaulin, Luc
7 Jonsson, Peter A.
7 Lopez, Pierre
7 Miguel, Ian
7 Nightingale, Peter W.
7 Pearson, Justin
7 Pimentel, Elaine
7 Schaus, Pierre
7 van Hoeve, Willem-Jan
7 Zivan, Roie
6 Boizumault, Patrice
6 Ciré, André Augusto
6 Codish, Michael
6 Deville, Yves
6 Garcia de la Banda, Maria
6 Gendron, Bernard
6 Gualandi, Stefano
6 Ignatyev, Alexey A.
6 Li, Sanjiang
6 Mencía, Carlos
6 Policriti, Alberto
6 Rossi, Francesca
6 Schockaert, Steven
6 Schrijvers, Tom
6 Tack, Guido
6 Wallace, Mark G.
5 Ansótegui, Carlos
5 Barahona, Pedro
5 Cadoli, Marco
5 De Cock, Martine
5 Demoen, Bart
5 Frühwirth, Thom
5 Gange, Graeme
5 Gebser, Martin
5 Hebrard, Emmanuel
5 Hillston, Jane
5 Janota, Mikoláš
5 Jermann, Christophe
5 Loudni, Samir
5 Lynce, Inês
5 Mancini, Toni
5 Maratea, Marco
5 Michel, Laurent
5 Milano, Michela
5 Pesant, Gilles
5 Previti, Alessandro
5 Régin, Jean-Charles
5 Sahinidis, Nikolaos V.
5 Scarcello, Francesco
5 Smith, Barbara M.
5 Szeider, Stefan
5 Vardi, Moshe Y.
5 Venable, Kristen Brent
4 Allouche, David
4 Alviano, Mario
4 Brown, Kenneth N.
4 Bulatov, Andrei A.
4 Chu, Geoffrey
4 Cimatti, Alessandro
4 Ciocchetta, Federica
4 Codognet, Philippe
4 Colbourn, Charles J.
...and 1,702 more Authors
all top 5

Cited in 146 Journals

180 Constraints
123 Artificial Intelligence
60 European Journal of Operational Research
43 Theory and Practice of Logic Programming
41 Annals of Operations Research
35 Theoretical Computer Science
33 Computers & Operations Research
31 Annals of Mathematics and Artificial Intelligence
25 Journal of Global Optimization
22 Discrete Applied Mathematics
17 Journal of Scheduling
16 INFORMS Journal on Computing
11 Journal of Computer and System Sciences
11 Journal of Automated Reasoning
11 Journal of Heuristics
10 Information and Computation
9 Fuzzy Sets and Systems
9 International Journal of Approximate Reasoning
8 Mathematical Programming. Series A. Series B
8 Journal of Combinatorial Optimization
7 Formal Methods in System Design
6 Information Sciences
6 RAIRO. Operations Research
5 Acta Informatica
5 Journal of Computational and Applied Mathematics
5 Applied Mathematical Modelling
5 4OR
5 Mathematics in Computer Science
4 Applied Mathematics and Computation
4 Machine Learning
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Mathematical Problems in Engineering
4 Optimization Methods & Software
4 International Journal of Applied Mathematics and Computer Science
4 Optimization and Engineering
4 OR Spectrum
4 ACM Transactions on Computational Logic
4 EURO Journal on Computational Optimization
3 Discrete Mathematics
3 Automatica
3 Journal of Optimization Theory and Applications
3 SIAM Journal on Computing
3 Algorithmica
3 AI Communications
3 Pattern Recognition
3 Cybernetics and Systems Analysis
3 Computational Optimization and Applications
3 CEJOR. Central European Journal of Operations Research
3 Fundamenta Informaticae
3 Journal of Discrete Algorithms
3 Fuzzy Optimization and Decision Making
3 Logical Methods in Computer Science
3 Mathematical Programming Computation
3 Journal of Logical and Algebraic Methods in Programming
3 SN Operations Research Forum
2 Information Processing Letters
2 BIT
2 Journal of Statistical Planning and Inference
2 Networks
2 Operations Research Letters
2 International Journal of Production Research
2 SIAM Journal on Discrete Mathematics
2 Random Structures & Algorithms
2 Journal of Computer and Systems Sciences International
2 Journal of Applied Non-Classical Logics
2 The Journal of Artificial Intelligence Research (JAIR)
2 Reliable Computing
2 International Transactions in Operational Research
2 Theory of Computing Systems
2 Journal of Inequalities and Applications
2 Journal of Graph Algorithms and Applications
2 Electronic Commerce Research
2 JMMA. Journal of Mathematical Modelling and Algorithms
2 Journal of Applied Logic
2 Computational & Mathematical Methods in Medicine
2 International Journal of Semantic Computing
2 Algorithms
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Indian Journal of Pure & Applied Mathematics
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Computing
1 International Journal of Game Theory
1 Journal of Algebra
1 Journal of Philosophical Logic
1 Notre Dame Journal of Formal Logic
1 Operations Research
1 Software. Practice & Experience
1 European Journal of Combinatorics
1 Cybernetics and Systems
1 Science of Computer Programming
1 Mathematical Social Sciences
1 Combinatorica
1 Bulletin of the Iranian Mathematical Society
1 Journal of Classification
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 New Generation Computing
1 Discrete & Computational Geometry
...and 46 more Journals

Citations by Year