ConstraintsAn 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 Meisels, Amnon 8 Rousseau, Louis-Martin 8 Wallace, Mark G. 7 Beck, J. Christopher 7 Deville, Yves 7 Hebrard, Emmanuel 7 Hnich, Brahim 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 675 more Authors all top 5 Fields 302 Computer science (68-XX) 205 Operations research, mathematical programming (90-XX) 24 General and overarching topics; collections (00-XX) 20 Combinatorics (05-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Mathematical logic and foundations (03-XX) 8 Biology and other natural sciences (92-XX) 7 Numerical analysis (65-XX) 4 Information and communication theory, circuits (94-XX) 3 Statistics (62-XX) 2 Quantum theory (81-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 319 Publications have been cited 2,304 times in 1,456 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. 70 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 38 2006 Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001 Bortolussi, Luca; Policriti, Alberto 36 2008 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 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 34 2018 Radio link frequency assignment. Zbl 1020.94500 Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 32 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 32 2008 Compiling finite linear CSP into SAT. Zbl 1186.68076 Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 31 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 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 Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828 Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 27 2006 Solving satisfiability problems with preferences. Zbl 1208.68199 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco 27 2010 A hybrid method for the planning and scheduling. Zbl 1122.90054 Hooker, J. N. 26 2005 Fast, flexible MUS enumeration. Zbl 1334.90080 Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 26 2016 Earth observation satellite management. Zbl 0963.90507 Bensana, E.; Lemaître, M.; Verfaillie, G. 25 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 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096 Fischetti, Matteo; Jo, Jason 23 2018 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 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 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 20 2006 Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030 Baptiste, Philippe; Le Pape, Claude 19 2000 A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589 Pulina, Luca; Tacchella, Armando 19 2009 Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157 Régin, Jean-Charles 19 2002 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 18 2011 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164 Puranik, Yash; Sahinidis, Nikolaos V. 18 2017 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 Solving various weighted matching problems with constraints. Zbl 0949.90058 Caseau, Yves; Laburthe, François 17 2000 Explaining the cumulative propagator. Zbl 1226.68099 Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 17 2011 High-order consistency in valued constraint satisfaction. Zbl 1112.68118 Cooper, Martin C. 17 2005 Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138 Nebel, Bernhard 16 1997 Tractable cases of the extended global cardinality constraint. Zbl 1215.68164 Samer, Marko; Szeider, Stefan 15 2011 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 Confluence and semantics of constraint simplification rules. Zbl 0951.68070 Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger 13 1999 On implementing symmetry detection. Zbl 1181.68177 Mears, C.; Garcia de la Banda, M.; Wallace, M. 13 2009 A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090 Lebbah, Yahia; Michel, Claude; Rueher, Michel 13 2005 Optimization-oriented global constraints. Zbl 1028.68024 Focacci, Filippo; Lodi, Andrea; Milano, Michela 13 2002 Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco 13 2015 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 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 12 2009 STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232 Lecoutre, Christophe 12 2011 Lagrangian bounds from decision diagrams. Zbl 1327.90116 Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan 12 2015 Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112 Kaymak, U.; Sousa, J. M. 12 2003 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283 Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 2013 Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045 Schaerf, Andrea 11 1999 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811 Hooker, J. N. 11 2006 Balancing bike sharing systems with constraint programming. Zbl 1334.90078 Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso 11 2016 An overview of parallel SAT solving. Zbl 1309.90057 Martins, Ruben; Manquinho, Vasco; Lynce, Inês 11 2012 Learning optimal decision trees using constraint programming. Zbl 07446942 Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre 11 2020 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 new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086 Goldsztejn, Alexandre; Granvilliers, Laurent 10 2010 Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632 Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic 10 2010 A solver for QBFs in negation normal form. Zbl 1167.68054 Egly, Uwe; Seidl, Martina; Woltran, Stefan 10 2009 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324 Sanchez, Marti; de Givry, Simon; Schiex, Thomas 10 2008 Resolution-based lower bounds in MaxSAT. Zbl 1208.68204 Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi 10 2010 Localizer. Zbl 0988.90015 Michel, Laurent; Van Hentenryck, Pascal 9 2000 A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337 Sorlin, Sébastien; Solnon, Christine 9 2008 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 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 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 Consistency techniques in ordinary differential equations. Zbl 1020.65035 Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal 9 2002 Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220 Carbonnel, Clément; Cooper, Martin C. 9 2016 Cardinal: a finite sets constraint solver. Zbl 1118.68653 Azevedo, Francisco 8 2007 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174 Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 8 2011 Refined inequalities for stable marriage. Zbl 1028.91530 Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C. 8 1999 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 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 Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117 Zivan, Roie; Meisels, Amnon 8 2006 Constraint-based attribute and interval planning. Zbl 1074.68609 Frank, Jeremy; Jónsson, Ari 8 2003 MDD propagators with explanation. Zbl 1241.90066 Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 8 2011 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. 8 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 8 2012 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 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 8 2016 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 Efficient algorithms for singleton arc consistency. Zbl 1216.68236 Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe 7 2011 Constraint networks of topological relations and convexity. Zbl 0946.68082 Davis, Ernest; Gotts, Nicholas Mark; Cohn, Anthony G. 7 1999 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 How to determine the expressive power of constraints. Zbl 0951.68190 Jeavons, Peter; Cohen, David; Gyssens, Marc 7 1999 On topological consistency and realization. Zbl 1103.68770 Li, Sanjiang 7 2006 Filtering algorithms for the NValue constraint. Zbl 1114.68064 Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 7 2006 Learning the travelling salesperson problem requires rethinking generalization. Zbl 1495.90156 Joshi, Chaitanya K.; Cappart, Quentin; Rousseau, Louis-Martin; Laurent, Thomas 2 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 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 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 34 2018 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096 Fischetti, Matteo; Jo, Jason 23 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. 2 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 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 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164 Puranik, Yash; Sahinidis, Nikolaos V. 18 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 Triangle-based consistencies for cost function networks. Zbl 1390.90116 Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas 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 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 26 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 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. 8 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 8 2016 Quantified maximum satisfiability. Zbl 1334.90075 Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 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 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 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 Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105 Bergman, David; Cire, Andre A. 4 2016 Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085 Kilby, Philip; Urli, Tommaso 3 2016 Projection, consistency, and George Boole. Zbl 1396.03041 Hooker, J. N. 3 2016 Visual search tree profiling. Zbl 1334.90170 Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria 3 2016 Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137 Itzhakov, Avraham; Codish, Michael 3 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 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 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 12 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 A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353 Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal 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 3 2015 Dominance breaking constraints. Zbl 1316.90025 Chu, Geoffrey; Stuckey, Peter J. 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 cited Publications top 5 cited Publications all top 5 Cited by 2,416 Authors 29 Stuckey, Peter James 23 Marques-Silva, João P. 19 Rousseau, Louis-Martin 19 Živný, Stanislav 18 Cooper, Martin C. 17 Van Hentenryck, Pascal 17 Walsh, Toby 15 Schaub, Torsten H. 14 Gebser, Martin 14 Hnich, Brahim 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. 12 de Givry, Simon 11 Hooker, John N. jun. 11 Jeavons, Peter G. 11 Lee, Jimmy Ho-man 11 Pesant, Gilles 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 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 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 Katsirelos, George 7 Lodi, Andrea 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 Li, Sanjiang 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 Allouche, David 5 Ansótegui, Carlos 5 Barahona, Pedro 5 Bistarelli, Stefano 5 Bofill, Miquel 5 Bulatov, Andrei A. 5 Cadoli, Marco 5 Cai, Shaowei 5 Cimatti, Alessandro ...and 2,316 more Authors all top 5 Cited in 174 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 38 Theoretical Computer Science 34 Annals of Mathematics and Artificial Intelligence 28 Journal of Global Optimization 25 Discrete Applied Mathematics 22 INFORMS Journal on Computing 18 Journal of Scheduling 16 Information and Computation 13 Journal of Automated Reasoning 13 International Journal of Approximate Reasoning 13 Mathematical Programming. Series A. Series B 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 Machine Learning 9 Journal of Combinatorial Optimization 8 Information Sciences 8 Applied Mathematical Modelling 8 Formal Methods in System Design 8 ACM Transactions on Computational Logic 8 Journal of Satisfiability, Boolean Modeling and Computation 8 SN Operations Research Forum 7 Optimization and Engineering 7 4OR 6 International Transactions in Operational Research 6 Optimization Methods & Software 6 RAIRO. Operations Research 6 Mathematical Programming Computation 5 Acta Informatica 5 Journal of Computational and Applied Mathematics 5 Journal of Optimization Theory and Applications 5 SIAM Journal on Computing 5 Algorithmica 5 Engineering Optimization 5 Mathematics in Computer Science 4 Applied Mathematics and Computation 4 Networks 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 Logical Methods in Computer Science 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 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Physica A 2 BIT 2 INFOR 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 Natural Computing 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 ...and 74 more Journals all top 5 Cited in 34 Fields 869 Computer science (68-XX) 670 Operations research, mathematical programming (90-XX) 92 Combinatorics (05-XX) 72 Mathematical logic and foundations (03-XX) 59 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 55 Biology and other natural sciences (92-XX) 42 Numerical analysis (65-XX) 26 Statistics (62-XX) 15 Systems theory; control (93-XX) 12 Calculus of variations and optimal control; optimization (49-XX) 11 Information and communication theory, circuits (94-XX) 10 General algebraic systems (08-XX) 7 Ordinary differential equations (34-XX) 7 Statistical mechanics, structure of matter (82-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Commutative algebra (13-XX) 5 Probability theory and stochastic processes (60-XX) 4 Associative rings and algebras (16-XX) 4 Geometry (51-XX) 4 Convex and discrete geometry (52-XX) 3 General and overarching topics; collections (00-XX) 3 Mechanics of particles and systems (70-XX) 3 Quantum theory (81-XX) 2 Algebraic geometry (14-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year