×

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: 443 Publications (since 1997)
References Indexed: 292 Publications with 10,499 References.
all top 5

Latest Issues

27, No. 3 (2022)
27, No. 1-2 (2022)
26, No. 1-4 (2021)
25, No. 3-4 (2020)
25, No. 1-2 (2020)
24, No. 3-4 (2019)
24, No. 2 (2019)
24, No. 1 (2019)
23, No. 4 (2018)
23, No. 3 (2018)
23, No. 2 (2018)
23, No. 1 (2018)
22, No. 4 (2017)
22, No. 3 (2017)
22, No. 2 (2017)
22, No. 1 (2017)
21, No. 4 (2016)
21, No. 3 (2016)
21, No. 2 (2016)
21, No. 1 (2016)
20, No. 4 (2015)
20, No. 3 (2015)
20, No. 2 (2015)
20, No. 1 (2015)
19, No. 4 (2014)
19, No. 3 (2014)
19, No. 1 (2014)
18, No. 4 (2013)
18, No. 3 (2013)
18, No. 2 (2013)
18, No. 1 (2013)
17, No. 4 (2012)
17, No. 3 (2012)
17, No. 2 (2012)
17, No. 1 (2012)
16, No. 4 (2011)
16, No. 3 (2011)
16, No. 2 (2011)
16, No. 1 (2011)
15, No. 4 (2010)
15, No. 3 (2010)
15, No. 2 (2010)
15, No. 1 (2010)
14, No. 4 (2009)
14, No. 3 (2009)
14, No. 2 (2009)
14, No. 1 (2009)
13, No. 4 (2008)
13, No. 3 (2008)
13, No. 1-2 (2008)
12, No. 4 (2007)
12, No. 3 (2007)
12, No. 2 (2007)
12, No. 1 (2007)
11, No. 4 (2006)
11, No. 2-3 (2006)
11, No. 1 (2006)
10, No. 4 (2005)
10, No. 3 (2005)
10, No. 2 (2005)
10, No. 1 (2005)
9, No. 4 (2004)
9, No. 3 (2004)
9, No. 2 (2004)
9, No. 1 (2004)
8, No. 4 (2003)
8, No. 3 (2003)
8, No. 2 (2003)
8, No. 1 (2003)
7, No. 3-4 (2002)
7, No. 2 (2002)
7, No. 1 (2002)
6, No. 4 (2001)
6, No. 2-3 (2001)
6, No. 1 (2001)
5, No. 4 (2000)
5, No. 3 (2000)
5, No. 1-2 (2000)
4, No. 4 (1999)
4, No. 3 (1999)
4, No. 2 (1999)
4, No. 1 (1999)
3, No. 4 (1998)
3, No. 2-3 (1998)
3, No. 1 (1998)
2, No. 3-4 (1997)
2, No. 2 (1997)
2, No. 1 (1997)
1, No. 3 (1997)
all top 5

Authors

23 Van Hentenryck, Pascal
21 Stuckey, Peter James
9 Beldiceanu, Nicolas
9 Lee, Jimmy Ho-man
8 Flener, Pierre
8 Garcia de la Banda, Maria
8 Hnich, Brahim
8 Meisels, Amnon
8 Rousseau, Louis-Martin
7 Beck, J. Christopher
7 Bessiere, Christian
7 Carlsson, Mats
7 Deville, Yves
7 Michel, Laurent
7 Pearson, Justin
7 van Hoeve, Willem-Jan
7 Wallace, Mark G.
7 Walsh, Toby
6 Hebrard, Emmanuel
6 Hooker, John N. jun.
6 Jeavons, Peter G.
6 O’Sullivan, Barry
6 Schaus, Pierre
6 Schiex, Thomas
6 Zivan, Roie
5 Backofen, Rolf
5 Barahona, Pedro
5 Codish, Michael
5 Cohen, David A.
5 Freuder, Eugene C.
5 Marques-Silva, João P.
5 Marriott, Kim
5 Mears, Christopher
5 Prestwich, Steven D.
5 Quimper, Claude-Guy
5 Rueher, Michel
5 Smith, Barbara M.
5 Stergiou, Kostas
4 Barták, Roman
4 Cambazard, Hadrien
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 Lecoutre, Christophe
4 Lorca, Xavier
4 Meseguer, Pedro
4 Pesant, Gilles
4 Simonis, Helmut
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 Itzhakov, Avraham
3 Katriel, Irit
3 Koshimura, Miyuki
3 Liffiton, Mark H.
3 Lombardi, Michele
3 Lopez, Pierre
3 Lynce, Inês
3 Mazure, Bertrand
3 Milano, Michela
3 Petit, Thierry
3 Prosser, Patrick
3 Prud’homme, Charles
3 Quesada, Luis O.
3 Régin, Jean-Charles
3 Rossi, Roberto
3 Sattar, Abdul
3 Sellmann, Meinolf
3 Tack, Guido
3 Terrioux, Cyril
3 Trombettoni, Gilles
3 Tsang, Edward P. K.
3 Vardi, Moshe Ya’akov
3 Verfaillie, Gérard
3 Villaret, Mateu
3 Vuffray, Marc
3 Will, Sebastian
3 Wilson, Nic
2 Achlioptas, Dimitris
2 Ågren, Magnus
2 Anger, Frank D.
2 Ansótegui, Carlos
2 Arafailova, Ekaterina
2 Azevedo, Francisco
...and 632 more Authors

Publications by Year

Citations contained in zbMATH Open

301 Publications have been cited 1,820 times in 1,227 Documents Cited by Year
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114
Larrosa, Javier; Dechter, Rina
94
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.
59
1999
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
38
2009
A cost-regular based hybrid column generation approach. Zbl 1117.90066
Demassey, Sophie; Pesant, Gilles; Rousseau, Louis-Martin
34
2006
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
28
2013
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
27
2001
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
26
2008
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
Radio link frequency assignment. Zbl 1020.94500
Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P.
25
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
24
2008
A hybrid method for the planning and scheduling. Zbl 1122.90054
Hooker, J. N.
22
2005
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
21
2018
Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039
Gervet, Carmen
21
1997
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
20
2008
CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616
Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E.
20
2003
Earth observation satellite management. Zbl 0963.90507
Bensana, E.; Lemaître, M.; Verfaillie, G.
20
1999
Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828
Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby
19
2006
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
19
2016
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
19
2009
Constraint models for the covering test problem. Zbl 1103.68810
Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M.
18
2006
Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157
Régin, Jean-Charles
18
2002
Constraint propagation on quadratic constraints. Zbl 1208.68200
Domes, Ferenc; Neumaier, Arnold
18
2010
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
18
2010
A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589
Pulina, Luca; Tacchella, Armando
17
2009
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
17
2011
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
17
2006
Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030
Baptiste, Philippe; Le Pape, Claude
17
2000
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.
17
2010
Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014
El Sakkout, Hani; Wallace, Mark
16
2000
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
15
2011
SALSA: a language for search algorithms. Zbl 1020.68028
Laburthe, François; Caseau, Yves
15
2002
Solving various weighted matching problems with constraints. Zbl 0949.90058
Caseau, Yves; Laburthe, François
15
2000
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
15
2017
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
14
2011
High-order consistency in valued constraint satisfaction. Zbl 1112.68118
Cooper, Martin C.
14
2005
Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112
Kaymak, U.; Sousa, J. M.
12
2003
A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090
Lebbah, Yahia; Michel, Claude; Rueher, Michel
12
2005
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.
12
1999
Global constraint catalogue: past, present and future. Zbl 1128.68092
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry
12
2007
Models and emerging trends of concurrent constraint programming. Zbl 1317.90283
Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.
12
2013
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
12
1997
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
An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811
Hooker, J. N.
11
2006
Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045
Schaerf, Andrea
11
1999
Confluence and semantics of constraint simplification rules. Zbl 0951.68070
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger
11
1999
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
11
2012
Optimization-oriented global constraints. Zbl 1028.68024
Focacci, Filippo; Lodi, Andrea; Milano, Michela
10
2002
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
10
2011
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
10
2009
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
Tractable cases of the extended global cardinality constraint. Zbl 1215.68164
Samer, Marko; Szeider, Stefan
9
2011
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
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
9
2015
A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337
Sorlin, Sébastien; Solnon, Christine
8
2008
A solver for QBFs in negation normal form. Zbl 1167.68054
Egly, Uwe; Seidl, Martina; Woltran, Stefan
8
2009
Local-search extraction of mUSes. Zbl 1211.90307
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric
8
2007
Symmetry breaking revisited. Zbl 1071.68094
Puget, Jean-François
8
2005
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
8
2002
Resolution-based lower bounds in MaxSAT. Zbl 1208.68204
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi
8
2010
Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632
Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic
8
2010
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
8
2018
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
8
2016
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
8
2009
Minimization of locally defined submodular functions by optimal soft arc consistency. Zbl 1180.90262
Cooper, Martin C.
7
2008
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324
Sanchez, Marti; de Givry, Simon; Schiex, Thomas
7
2008
The complexity of reasoning with global constraints. Zbl 1124.68103
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
7
2007
Reformulation of global constraints based on constraints checkers. Zbl 1103.68804
Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry
7
2005
On topological consistency and realization. Zbl 1103.68770
Li, Sanjiang
7
2006
Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813
Law, Y. C.; Lee, J. H. M.
7
2006
Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117
Zivan, Roie; Meisels, Amnon
7
2006
Solving Kirkman’s schoolgirl problem in a few seconds. Zbl 1112.90064
Barnier, Nicolas; Brisset, Pascal
7
2005
Refined inequalities for stable marriage. Zbl 1028.91530
Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C.
7
1999
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
7
2010
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
7
2011
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
7
2013
Asynchronous forward-checking for DisCSPs. Zbl 1118.68158
Meisels, Amnon; Zivan, Roie
7
2007
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.
7
2016
Improved filtering for weighted circuit constraints. Zbl 1309.90115
Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel
7
2012
Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220
Carbonnel, Clément; Cooper, Martin C.
7
2016
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086
Goldsztejn, Alexandre; Granvilliers, Laurent
7
2010
Evaluating ASP and commercial solvers on the CSPLib. Zbl 1179.90287
Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco
6
2008
Modeling biological networks by action languages via answer set programming. Zbl 1148.68564
Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim
6
2008
Filtering algorithms for the NValue constraint. Zbl 1114.68064
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
6
2006
Complete bound consistency for the global cardinality constraint. Zbl 1084.68138
Katriel, Irit; Thiel, Sven
6
2005
Constraint-based attribute and interval planning. Zbl 1074.68609
Frank, Jeremy; Jónsson, Ari
6
2003
A framework for optimal correction of inconsistent linear constraints. Zbl 1066.90136
Amaral, Paula; Barahona, Pedro
6
2005
Constraint networks of topological relations and convexity. Zbl 0946.68082
Davis, Ernest; Gotts, Nicholas Mark; Cohn, Anthony G.
6
1999
Algorithmic power from declarative use of redundant constraints. Zbl 0949.68041
van Emden, M. H.
6
1999
Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473
Zampelli, Stéphane; Deville, Yves; Solnon, Christine
6
2010
Philosophy of the MiniZinc challenge. Zbl 1208.68207
Stuckey, Peter J.; Becket, Ralph; Fischer, Julien
6
2010
How to determine the expressive power of constraints. Zbl 0951.68190
Jeavons, Peter; Cohen, David; Gyssens, Marc
6
1999
Cardinal: a finite sets constraint solver. Zbl 1118.68653
Azevedo, Francisco
6
2007
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice
6
2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
6
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
Relatively quantified constraint satisfaction. Zbl 1191.68625
Bodirsky, Manuel; Chen, Hubie
5
2009
Domain specific high-level constraints for user interface layout. Zbl 1148.68339
Lutteroth, Christof; Strandh, Robert; Weber, Gerald
5
2008
Cost-based filtering for shorter path constraints. Zbl 1141.68055
Sellmann, Meinolf; Gellermann, Thorsten; Wright, Robert
5
2007
Nondeterministic control for hybrid search. Zbl 1112.68039
Van Hentenryck, Pascal; Michel, Laurent
5
2006
Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem. Zbl 1452.90265
González, Jaime E.; Cire, Andre A.; Lodi, Andrea; Rousseau, Louis-Martin
3
2020
Learning optimal decision trees using constraint programming. Zbl 07446942
Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre
2
2020
Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939
Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex
1
2020
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Zbl 07446943
Tchinda, Rodrigue Konan; Djamegni, Clémentin Tayou
1
2020
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
3
2019
Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195
de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J.
2
2019
Improved WPM encoding for coalition structure generation under MC-nets. Zbl 1468.68203
Liao, Xiaojuan; Koshimura, Miyuki; Nomoto, Kazuki; Ueda, Suguru; Sakurai, Yuko; Yokoo, Makoto
1
2019
Neighborhood singleton consistencies. Zbl 1468.68207
Stergiou, Kostas
1
2019
\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. Zbl 1483.68244
Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi
1
2019
Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 1483.68498
Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y.
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
21
2018
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
8
2018
Progress towards the Holy Grail. Zbl 1402.90178
Freuder, Eugene C.
5
2018
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina
2
2018
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233
Alghazi, Anas; Kurz, Mary E.
2
2018
From MDD to BDD and arc consistency. Zbl 1468.68209
Vion, Julien; Piechowiak, Sylvain
1
2018
Constraint programming and operations research. Zbl 1402.90148
Hooker, J. N.; van Hoeve, W.-J.
1
2018
Deriving generic bounds for time-series constraints based on regular expressions characteristics. Zbl 1396.90047
Arafailova, Ekaterina; Beldiceanu, Nicolas; Simonis, Helmut
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
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
15
2017
What is answer set programming to propositional satisfiability. Zbl 1423.68483
Lierler, Yuliya
5
2017
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
5
2017
“Almost-stable” matchings in the hospitals/residents problem with couples. Zbl 1387.90143
Manlove, David F.; McBride, Iain; Trimble, James
5
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
5
2017
A microkernel architecture for constraint programming. Zbl 1390.90520
Michel, L.; Van Hentenryck, P.
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
Graphical models for optimal power flow. Zbl 1387.90262
Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant
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
19
2016
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
8
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.
7
2016
Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220
Carbonnel, Clément; Cooper, Martin C.
7
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
6
2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
6
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
Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161
Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut
3
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
3
2016
Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137
Itzhakov, Avraham; Codish, Michael
3
2016
Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105
Bergman, David; Cire, Andre A.
3
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
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
2
2016
A Lagrangian propagator for artificial neural networks in constraint programming. Zbl 1368.90148
Lombardi, Michele; Gualandi, Stefano
2
2016
Operating room management under uncertainty. Zbl 1368.90147
Gauthier, Jean Bertrand; Legrain, Antoine
2
2016
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
The salesman and the tree: the importance of search in CP. Zbl 1334.90143
Fages, Jean-Guillaume; Lorca, Xavier; Rousseau, Louis-Martin
1
2016
Three generalizations of the FOCUS constraint. Zbl 1368.90110
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby
1
2016
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
9
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
A constraint-based local search backend for MiniZinc. Zbl 1325.90076
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin
4
2015
New filtering for AtMostNValue and its weighted variant: a Lagrangian approach. Zbl 1327.90130
Cambazard, Hadrien; Fages, Jean-Guillaume
4
2015
Adaptive constructive interval disjunction: algorithms and experiments. Zbl 1329.90152
Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio
4
2015
A hybrid tractable class for non-binary CSPs. Zbl 1329.90149
El Mouelhi, Achref; Jégou, Philippe; Terrioux, Cyril
3
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
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
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; Stuckey, Peter J.
1
2015
Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
1
2015
A method for detecting symmetries in constraint models and its generalisation. Zbl 1316.90029
Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart
1
2015
A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353
Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal
1
2015
meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049
Stojadinović, Mirko; Marić, Filip
5
2014
Graph coloring inequalities from all-different systems. Zbl 1316.90056
Bergman, David; Hooker, J. N.
5
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
4
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
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
2
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
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
28
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
View-based propagator derivation. Zbl 1328.68202
Schulte, Christian; Tack, Guido
5
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
Using dual presolving reductions to reformulate cumulative constraints. Zbl 1309.90066
Heinz, Stefan; Schulz, Jens; Beck, J. Christopher
3
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
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
3
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
Redundant disequalities in the Latin square problem. Zbl 1317.90253
Demoen, Bart; Garcia de la Banda, Maria
1
2013
Nogood-based asynchronous forward checking algorithms. Zbl 1327.90113
Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine
1
2013
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
11
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
7
2012
Solving constraint satisfaction problems with SAT modulo theories. Zbl 1309.90099
Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu
5
2012
Interval-based projection method for under-constrained numerical systems. Zbl 1309.90101
Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe
4
2012
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
Dulmage-Mendelsohn canonical decomposition as a generic pruning technique. Zbl 1309.90116
Cymer, Radosław
2
2012
A complexity perspective on entailment of parameterized linear constraints. Zbl 1309.90107
Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr
2
2012
Exploiting subproblem dominance in constraint programming. Zbl 1247.68249
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
1
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
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
17
2011
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
15
2011
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
14
2011
...and 201 more Documents
all top 5

Cited by 2,057 Authors

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

Cited in 154 Journals

192 Constraints
135 Artificial Intelligence
68 European Journal of Operational Research
45 Theory and Practice of Logic Programming
44 Computers & Operations Research
41 Annals of Operations Research
36 Theoretical Computer Science
34 Annals of Mathematics and Artificial Intelligence
26 Journal of Global Optimization
23 Discrete Applied Mathematics
20 INFORMS Journal on Computing
17 Journal of Scheduling
15 Information and Computation
12 Journal of Automated Reasoning
11 Journal of Computer and System Sciences
11 Journal of Heuristics
9 Fuzzy Sets and Systems
9 International Journal of Approximate Reasoning
9 Journal of Combinatorial Optimization
8 Mathematical Programming. Series A. Series B
8 Journal of Satisfiability, Boolean Modeling and Computation
7 Formal Methods in System Design
7 The Journal of Artificial Intelligence Research (JAIR)
7 Optimization and Engineering
6 Information Sciences
6 Applied Mathematical Modelling
6 Optimization Methods & Software
6 RAIRO. Operations Research
6 4OR
5 Acta Informatica
5 Journal of Computational and Applied Mathematics
5 Machine Learning
5 Mathematics in Computer Science
5 Mathematical Programming Computation
5 SN Operations Research Forum
4 Applied Mathematics and Computation
4 SIAM Journal on Computing
4 Algorithmica
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Mathematical Problems in Engineering
4 International Journal of Applied Mathematics and Computer Science
4 OR Spectrum
4 ACM Transactions on Computational Logic
4 Logical Methods in Computer Science
4 EURO Journal on Computational Optimization
3 Discrete Mathematics
3 Automatica
3 Journal of Optimization Theory and Applications
3 SIAM Journal on Discrete Mathematics
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 ACM Journal of Experimental Algorithmics
3 Journal of Discrete Algorithms
3 Fuzzy Optimization and Decision Making
3 Journal of Logical and Algebraic Methods in Programming
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 Random Structures & Algorithms
2 Journal of Computer and Systems Sciences International
2 Journal of Applied Non-Classical Logics
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 Discrete Optimization
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 Physics Reports
1 Mathematics of Computation
1 Computing
1 International Journal of Game Theory
1 Journal of Algebra
1 Journal of Economic Theory
1 Journal of Philosophical Logic
1 Notre Dame Journal of Formal Logic
1 Operations Research
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Software. Practice & Experience
1 European Journal of Combinatorics
1 Cybernetics and Systems
1 Science of Computer Programming
1 Mathematical Social Sciences
...and 54 more Journals

Citations by Year