×

Constraints

An International Journal

Short Title: Constraints
Publisher: Springer US, New York, NY
ISSN: 1383-7133; 1572-9354/e
Online: https://link.springer.com/journal/10601/volumes-and-issues
Comments: Journal
Documents Indexed: 464 Publications (since 1997)
References Indexed: 311 Publications with 11,356 References.
all top 5

Latest Issues

28, No. 3 (2023)
28, No. 2 (2023)
28, No. 1 (2023)
27, No. 4 (2022)
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 Flener, Pierre
9 Garcia de la Banda, Maria
9 Lee, Jimmy Ho-man
8 Bessiere, Christian
8 Carlsson, Mats
8 Hnich, Brahim
8 Meisels, Amnon
8 Rousseau, Louis-Martin
8 Wallace, Mark G.
7 Beck, J. Christopher
7 Deville, Yves
7 Hebrard, Emmanuel
7 Michel, Laurent
7 Pearson, Justin
7 van Hoeve, Willem-Jan
7 Walsh, Toby
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 de Givry, Simon
5 Freuder, Eugene C.
5 Marques-Silva, João P.
5 Marriott, Kim
5 Mears, Christopher
5 Prestwich, Steven D.
5 Prud’homme, Charles
5 Quimper, Claude-Guy
5 Rueher, Michel
5 Smith, Barbara M.
5 Stergiou, Kostas
4 Barták, Roman
4 Cambazard, Hadrien
4 Cooper, Martin C.
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 Quesada, Luis O.
4 Simonis, Helmut
4 Tarim, S. Armagan
4 Truchet, Charlotte
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 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 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
...and 676 more Authors

Publications by Year

Citations contained in zbMATH Open

319 Publications have been cited 2,259 times in 1,424 Documents Cited by Year
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114
Larrosa, Javier; Dechter, Rina
105
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.
69
1999
Propagation via lazy clause generation. Zbl 1192.68654
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael
52
2009
A cost-regular based hybrid column generation approach. Zbl 1117.90066
Demassey, Sophie; Pesant, Gilles; Rousseau, Louis-Martin
37
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
36
2013
Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001
Bortolussi, Luca; Policriti, Alberto
35
2008
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
32
2008
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
32
2018
Radio link frequency assignment. Zbl 1020.94500
Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P.
31
1999
Compiling finite linear CSP into SAT. Zbl 1186.68076
Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
30
2009
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
30
2001
CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616
Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E.
28
2003
Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828
Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby
27
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
27
2001
A hybrid method for the planning and scheduling. Zbl 1122.90054
Hooker, J. N.
26
2005
Solving satisfiability problems with preferences. Zbl 1208.68199
Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
26
2010
Earth observation satellite management. Zbl 0963.90507
Bensana, E.; Lemaître, M.; Verfaillie, G.
24
1999
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
24
2008
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
23
2016
Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039
Gervet, Carmen
22
1997
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
22
2011
Constraint models for the covering test problem. Zbl 1103.68810
Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M.
21
2006
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
20
2006
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.
20
2010
Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157
Régin, Jean-Charles
19
2002
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
19
2018
A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589
Pulina, Luca; Tacchella, Armando
19
2009
Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030
Baptiste, Philippe; Le Pape, Claude
19
2000
Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014
El Sakkout, Hani; Wallace, Mark
18
2000
Constraint propagation on quadratic constraints. Zbl 1208.68200
Domes, Ferenc; Neumaier, Arnold
18
2010
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
17
2017
Explaining the cumulative propagator. Zbl 1226.68099
Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.
17
2011
Solving various weighted matching problems with constraints. Zbl 0949.90058
Caseau, Yves; Laburthe, François
17
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
17
2011
High-order consistency in valued constraint satisfaction. Zbl 1112.68118
Cooper, Martin C.
16
2005
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138
Nebel, Bernhard
16
1997
SALSA: a language for search algorithms. Zbl 1020.68028
Laburthe, François; Caseau, Yves
15
2002
Global constraint catalogue: past, present and future. Zbl 1128.68092
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry
14
2007
Tractable cases of the extended global cardinality constraint. Zbl 1215.68164
Samer, Marko; Szeider, Stefan
14
2011
Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
13
2015
Optimization-oriented global constraints. Zbl 1028.68024
Focacci, Filippo; Lodi, Andrea; Milano, Michela
13
2002
On implementing symmetry detection. Zbl 1181.68177
Mears, C.; Garcia de la Banda, M.; Wallace, M.
13
2009
Confluence and semantics of constraint simplification rules. Zbl 0951.68070
Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger
13
1999
A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090
Lebbah, Yahia; Michel, Claude; Rueher, Michel
13
2005
Models and emerging trends of concurrent constraint programming. Zbl 1317.90283
Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.
12
2013
Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112
Kaymak, U.; Sousa, J. M.
12
2003
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
12
2011
A global chance-constraint for stochastic inventory systems under service level constraints. Zbl 1162.90318
Rossi, Roberto; Tarim, S. Armagan; Hnich, Brahim; Prestwich, Steven
12
2008
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
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
11
2012
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
11
2015
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
11
2016
An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811
Hooker, J. N.
11
2006
Learning optimal decision trees using constraint programming. Zbl 07446942
Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre
11
2020
Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045
Schaerf, Andrea
11
1999
Asynchronous forward-checking for DisCSPs. Zbl 1118.68158
Meisels, Amnon; Zivan, Roie
10
2007
Local-search extraction of mUSes. Zbl 1211.90307
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric
10
2007
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 solver for QBFs in negation normal form. Zbl 1167.68054
Egly, Uwe; Seidl, Martina; Woltran, Stefan
10
2009
A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086
Goldsztejn, Alexandre; Granvilliers, Laurent
10
2010
Resolution-based lower bounds in MaxSAT. Zbl 1208.68204
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi
10
2010
Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220
Carbonnel, Clément; Cooper, Martin C.
9
2016
Reformulation of global constraints based on constraints checkers. Zbl 1103.68804
Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry
9
2005
Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813
Law, Y. C.; Lee, J. H. M.
9
2006
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
9
2002
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
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324
Sanchez, Marti; de Givry, Simon; Schiex, Thomas
9
2008
A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337
Sorlin, Sébastien; Solnon, Christine
9
2008
Localizer. Zbl 0988.90015
Michel, Laurent; Van Hentenryck, Pascal
9
2000
Temporal constraints: A survey. Zbl 0911.68186
Schwalb, Eddie; Vila, Lluís
9
1998
Solving Kirkman’s schoolgirl problem in a few seconds. Zbl 1112.90064
Barnier, Nicolas; Brisset, Pascal
9
2005
Symmetry breaking revisited. Zbl 1071.68094
Puget, Jean-François
9
2005
Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632
Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic
9
2010
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
8
2013
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
8
2013
Graph coloring inequalities from all-different systems. Zbl 1316.90056
Bergman, David; Hooker, J. N.
8
2014
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
8
2016
Cardinal: a finite sets constraint solver. Zbl 1118.68653
Azevedo, Francisco
8
2007
The complexity of reasoning with global constraints. Zbl 1124.68103
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby
8
2007
Complete bound consistency for the global cardinality constraint. Zbl 1084.68138
Katriel, Irit; Thiel, Sven
8
2005
Constraint solving in uncertain and dynamic environments: A survey. Zbl 1086.68595
Verfaillie, Gérard; Jussien, Narendra
8
2005
Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117
Zivan, Roie; Meisels, Amnon
8
2006
MDD propagators with explanation. Zbl 1241.90066
Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
8
2011
Limitations of restricted branching in clause learning. Zbl 1192.68643
Järvisalo, Matti; Junttila, Tommi
8
2009
Model-driven visualizations of constraint-based local search. Zbl 1179.68141
Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent
8
2009
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
8
2019
Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196
Živný, Stanislav; Jeavons, Peter G.
8
2010
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
Interval-based projection method for under-constrained numerical systems. Zbl 1309.90101
Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe
7
2012
A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073
Nattaf, Margaux; Artigues, Christian; Lopez, Pierre
7
2015
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
7
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
Refined inequalities for stable marriage. Zbl 1028.91530
Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C.
7
1999
On topological consistency and realization. Zbl 1103.68770
Li, Sanjiang
7
2006
Hybrid search for minimal perturbation in dynamic CSPs. Zbl 1233.90176
Zivan, Roie; Grubshtein, Alon; Meisels, Amnon
7
2011
Minimization of locally defined submodular functions by optimal soft arc consistency. Zbl 1180.90262
Cooper, Martin C.
7
2008
Filtering algorithms for the NValue constraint. Zbl 1114.68064
Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby
7
2006
How to determine the expressive power of constraints. Zbl 0951.68190
Jeavons, Peter; Cohen, David; Gyssens, Marc
7
1999
Constraint-based attribute and interval planning. Zbl 1074.68609
Frank, Jeremy; Jónsson, Ari
7
2003
Efficient algorithms for singleton arc consistency. Zbl 1216.68236
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe
7
2011
Learning the travelling salesperson problem requires rethinking generalization. Zbl 1495.90156
Joshi, Chaitanya K.; Cappart, Quentin; Rousseau, Louis-Martin; Laurent, Thomas
2
2022
Concise integer linear programming formulation for clique partitioning problems. Zbl 1495.90225
Koshimura, Miyuki; Watanabe, Emi; Sakurai, Yuko; Yokoo, Makoto
1
2022
Variable ordering for decision diagrams: a portfolio approach. Zbl 1496.91043
Karahalios, Anthony; van Hoeve, Willem-Jan
1
2022
Solution sampling with random table constraints. Zbl 07640672
Vavrille, Mathieu; Truchet, Charlotte; Prud’homme, Charles
1
2022
A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences. Zbl 1498.91280
Cseh, Ágnes; Escamocher, Guillaume; Genç, Begüm; Quesada, Luis
1
2022
Fast and parallel decomposition of constraint satisfaction problems. Zbl 07594545
Gottlob, Georg; Okulmus, Cem; Pichler, Reinhard
1
2022
The potential of quantum annealing for rapid solution structure identification. Zbl 1485.81022
Pang, Yuchen; Coffrin, Carleton; Lokhov, Andrey Y.; Vuffray, Marc
1
2021
Learn to relax: integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Zbl 1524.68342
Devriendt, Jo; Gleixner, Ambros; Nordström, Jakob
1
2021
Learning optimal decision trees using constraint programming. Zbl 07446942
Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre
11
2020
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
4
2020
Non-local configuration of component interfaces by constraint satisfaction. Zbl 1508.68404
Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex
1
2020
Efficient multiple constraint acquisition. Zbl 1483.90067
Tsouros, Dimosthenis C.; Stergiou, Kostas
1
2020
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Zbl 1508.68349
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.
8
2019
\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. Zbl 1483.68244
Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi
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
Encoding cardinality constraints using multiway merge selection networks. Zbl 1432.68417
Karpiński, Michał; Piotrów, Marek
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
The item dependent stockingcost constraint. Zbl 1430.90230
Houndji, Vinasetan Ratheil; Schaus, Pierre; Wolsey, Laurence
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
Incentive-based search for equilibria in Boolean games. Zbl 1427.91012
Levit, Vadim; Komarovsky, Zohar; Grinshpoun, Tal; Bazzan, Ana L. C.; Meisels, Amnon
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
32
2018
Deep neural networks and mixed integer linear optimization. Zbl 1402.90096
Fischetti, Matteo; Jo, Jason
19
2018
Progress towards the Holy Grail. Zbl 1402.90178
Freuder, Eugene C.
6
2018
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina
3
2018
Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233
Alghazi, Anas; Kurz, Mary E.
3
2018
Constraint programming and operations research. Zbl 1402.90148
Hooker, J. N.; van Hoeve, W.-J.
1
2018
Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last. Zbl 1457.90067
Fahimi, Hamed; Ouellet, Yanick; Quimper, Claude-Guy
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
MiniBrass: soft constraints for MiniZinc. Zbl 1430.90525
Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang
1
2018
From MDD to BDD and arc consistency. Zbl 1468.68209
Vion, Julien; Piechowiak, Sylvain
1
2018
Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164
Puranik, Yash; Sahinidis, Nikolaos V.
17
2017
Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092
Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.
6
2017
“Almost-stable” matchings in the hospitals/residents problem with couples. Zbl 1387.90143
Manlove, David F.; McBride, Iain; Trimble, James
6
2017
What is answer set programming to propositional satisfiability. Zbl 1423.68483
Lierler, Yuliya
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.
4
2017
The power of propagation: when GAC is enough. Zbl 1387.90130
Cohen, David A.; Jeavons, Peter G.
3
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
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
Mining time-constrained sequential patterns with constraint programming. Zbl 1425.68338
Aoga, John O. R.; Guns, Tias; Schaus, Pierre
1
2017
Triangle-based consistencies for cost function networks. Zbl 1390.90116
Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas
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
23
2016
Balancing bike sharing systems with constraint programming. Zbl 1334.90078
Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso
11
2016
Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220
Carbonnel, Clément; Cooper, Martin C.
9
2016
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115
Lam, Edward; Van Hentenryck, Pascal
8
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
7
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
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
Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105
Bergman, David; Cire, Andre A.
4
2016
Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161
Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut
4
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
4
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2016
Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137
Itzhakov, Avraham; Codish, Michael
3
2016
Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085
Kilby, Philip; Urli, Tommaso
3
2016
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
3
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
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
The salesman and the tree: the importance of search in CP. Zbl 1334.90143
Fages, Jean-Guillaume; Lorca, Xavier; Rousseau, Louis-Martin
2
2016
Three generalizations of the FOCUS constraint. Zbl 1368.90110
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby
1
2016
Constrained global optimization for wine blending. Zbl 1368.90133
Vismara, Philippe; Coletta, Remi; Trombettoni, Gilles
1
2016
Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
13
2015
Lagrangian bounds from decision diagrams. Zbl 1327.90116
Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan
11
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
7
2015
A hybrid tractable class for non-binary CSPs. Zbl 1329.90149
El Mouelhi, Achref; Jégou, Philippe; Terrioux, Cyril
6
2015
A constraint-based local search backend for MiniZinc. Zbl 1325.90076
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin
5
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
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
3
2015
Dominance breaking constraints. Zbl 1316.90025
Chu, Geoffrey; Stuckey, Peter J.
3
2015
A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353
Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal
3
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
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
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.
8
2014
meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049
Stojadinović, Mirko; Marić, Filip
6
2014
Explaining circuit propagation. Zbl 1310.05144
Francis, Kathryn Glenn; Stuckey, Peter J.
4
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
4
2014
A quadratic edge-finding filtering algorithm for cumulative resource constraints. Zbl 1314.90038
Kameugne, Roger; Fotso, Laure Pauline; Scott, Joseph; Ngo-Kateu, Youcheu
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
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
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.
2
2014
The octagon abstract domain for continuous constraints. Zbl 1338.90393
Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric
2
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
36
2013
Models and emerging trends of concurrent constraint programming. Zbl 1317.90283
Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.
12
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
8
2013
Structural tractability of enumerating CSP solutions. Zbl 1310.05151
Greco, Gianluigi; Scarcello, Francesco
8
2013
Balancing and scheduling of flexible mixed model assembly lines. Zbl 1304.90149
Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan
6
2013
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
6
2013
Using dual presolving reductions to reformulate cumulative constraints. Zbl 1309.90066
Heinz, Stefan; Schulz, Jens; Beck, J. Christopher
5
2013
View-based propagator derivation. Zbl 1328.68202
Schulte, Christian; Tack, Guido
5
2013
Search combinators. Zbl 1309.90090
Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.
4
2013
...and 219 more Documents
all top 5

Cited by 2,357 Authors

29 Stuckey, Peter James
23 Marques-Silva, João P.
19 Rousseau, Louis-Martin
18 Cooper, Martin C.
18 Živný, Stanislav
17 Van Hentenryck, Pascal
17 Walsh, Toby
16 Hnich, Brahim
15 Schaub, Torsten H.
14 Gebser, Martin
14 Olarte, Carlos
14 O’Sullivan, Barry
14 Tarim, S. Armagan
13 Bessiere, Christian
13 Ignatyev, Alexey A.
13 Rossi, Roberto
12 Beck, J. Christopher
12 Cohen, David A.
11 de Givry, Simon
11 Jeavons, Peter G.
11 Lee, Jimmy Ho-man
11 Prestwich, Steven D.
11 Schaus, Pierre
11 Szeider, Stefan
10 Beldiceanu, Nicolas
10 Bortolussi, Luca
10 Carlsson, Mats
10 Codish, Michael
10 Flener, Pierre
10 Hooker, John N. jun.
10 Meisels, Amnon
10 Nightingale, Peter W.
9 Ciré, André Augusto
9 Domes, Ferenc
9 Goldsztejn, Alexandre
9 Jonsson, Peter
9 Lecoutre, Christophe
9 Miguel, Ian
9 Pesant, Gilles
9 Schiex, Thomas
9 van Hoeve, Willem-Jan
9 Wilson, Nic
8 Artigues, Christian
8 Cambazard, Hadrien
8 Dechter, Rina
8 Dodaro, Carmine
8 Garcia de la Banda, Maria
8 Greco, Gianluigi
8 Jaulin, Luc
8 Larrosa, Javier
8 Lopez, Pierre
8 Milano, Michela
8 Neumaier, Arnold
8 Pearson, Justin
8 Régin, Jean-Charles
8 Rossi, Francesca
8 Solnon, Christine
8 Tack, Guido
8 Wallace, Mark G.
8 Zivan, Roie
7 Alviano, Mario
7 Gange, Graeme
7 Gualandi, Stefano
7 Hebrard, Emmanuel
7 Janota, Mikoláš
7 Lynce, Inês
7 Pimentel, Elaine
7 Policriti, Alberto
7 Previti, Alessandro
7 Sciavicco, Guido
7 Vardi, Moshe Ya’akov
6 Boizumault, Patrice
6 Codognet, Philippe
6 Demoen, Bart
6 Deville, Yves
6 Gendron, Bernard
6 Janhunen, Tomi
6 Jefferson, Christopher
6 Katsirelos, George
6 Li, Sanjiang
6 Lodi, Andrea
6 Lombardi, Michele
6 Mencía, Carlos
6 Michel, Laurent
6 Posenato, Roberto
6 Quimper, Claude-Guy
6 Rizzi, Romeo
6 Schockaert, Steven
6 Schrijvers, Tom
6 Stergiou, Kostas
6 Zavatteri, Matteo
5 Ansótegui, Carlos
5 Barahona, Pedro
5 Bistarelli, Stefano
5 Bofill, Miquel
5 Bulatov, Andrei A.
5 Cadoli, Marco
5 Cai, Shaowei
5 De Cock, Martine
5 Djelloul, Khalil
...and 2,257 more Authors
all top 5

Cited in 168 Journals

211 Constraints
145 Artificial Intelligence
76 European Journal of Operational Research
52 Computers & Operations Research
46 Theory and Practice of Logic Programming
42 Annals of Operations Research
37 Theoretical Computer Science
34 Annals of Mathematics and Artificial Intelligence
27 Journal of Global Optimization
25 Discrete Applied Mathematics
22 INFORMS Journal on Computing
18 Journal of Scheduling
16 Information and Computation
13 International Journal of Approximate Reasoning
12 Journal of Automated Reasoning
11 Journal of Computer and System Sciences
11 The Journal of Artificial Intelligence Research (JAIR)
11 Journal of Heuristics
10 Fuzzy Sets and Systems
9 Mathematical Programming. Series A. Series B
9 Journal of Combinatorial Optimization
8 Information Sciences
8 Machine Learning
8 Applied Mathematical Modelling
8 Journal of Satisfiability, Boolean Modeling and Computation
8 SN Operations Research Forum
7 Formal Methods in System Design
7 Optimization and Engineering
7 ACM Transactions on Computational Logic
7 4OR
6 International Transactions in Operational Research
6 Optimization Methods & Software
6 RAIRO. Operations Research
5 Acta Informatica
5 Journal of Computational and Applied Mathematics
5 Algorithmica
5 Engineering Optimization
5 Mathematics in Computer Science
5 Mathematical Programming Computation
4 Applied Mathematics and Computation
4 Journal of Optimization Theory and Applications
4 Networks
4 SIAM Journal on Computing
4 SIAM Journal on Discrete Mathematics
4 AI Communications
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
4 Computational Optimization and Applications
4 Mathematical Problems in Engineering
4 International Journal of Applied Mathematics and Computer Science
4 OR Spectrum
4 EURO Journal on Computational Optimization
3 Discrete Mathematics
3 Automatica
3 Pattern Recognition
3 Cybernetics and Systems Analysis
3 Theory of Computing Systems
3 CEJOR. Central European Journal of Operations Research
3 ACM Journal of Experimental Algorithmics
3 Journal of Discrete Algorithms
3 Fuzzy Optimization and Decision Making
3 Logical Methods in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 Information Processing Letters
2 Physica A
2 BIT
2 Journal of Statistical Planning and Inference
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 Journal of Inequalities and Applications
2 Journal of Graph Algorithms and Applications
2 Fundamenta Informaticae
2 Electronic Commerce Research
2 JMMA. Journal of Mathematical Modelling and Algorithms
2 Journal of Applied Logic
2 Journal of Statistical Mechanics: Theory and Experiment
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 Studia Logica
...and 68 more Journals

Citations by Year