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: 457 Publications (since 1997) References Indexed: 306 Publications with 11,167 References. all top 5 Latest Issues 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 Carlsson, Mats 8 Hnich, Brahim 8 Meisels, Amnon 8 Rousseau, Louis-Martin 8 Wallace, Mark G. 7 Beck, J. Christopher 7 Bessiere, Christian 7 Deville, Yves 7 Michel, Laurent 7 Pearson, Justin 7 van Hoeve, Willem-Jan 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 de Givry, Simon 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 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 Prud’homme, Charles 4 Quesada, Luis O. 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 Régin, Jean-Charles 3 Rossi, Roberto 3 Sattar, Abdul 3 Sellmann, Meinolf 3 Tack, Guido 3 Terrioux, Cyril 3 Trombettoni, Gilles 3 Truchet, Charlotte 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 666 more Authors all top 5 Fields 297 Computer science (68-XX) 200 Operations research, mathematical programming (90-XX) 24 General and overarching topics; collections (00-XX) 19 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) 6 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 317 Publications have been cited 2,234 times in 1,402 Documents Cited by ▼ Year ▼ Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114Larrosa, Javier; Dechter, Rina 105 2003 Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H. 69 1999 Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 51 2009 A cost-regular based hybrid column generation approach. Zbl 1117.90066Demassey, Sophie; Pesant, Gilles; Rousseau, Louis-Martin 37 2006 Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao 36 2013 Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001Bortolussi, Luca; Policriti, Alberto 35 2008 The design of the zinc modelling language. Zbl 1146.68352Marriott, 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.90169Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr 32 2018 Radio link frequency assignment. Zbl 1020.94500Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 31 1999 Random constraint satisfaction: Flaws and structure. Zbl 0992.68193Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby 30 2001 Compiling finite linear CSP into SAT. Zbl 1186.68076Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 29 2009 Random constraint satisfaction: A more accurate picture. Zbl 0984.68085Achlioptas, 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.68828Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 27 2006 CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E. 26 2003 A hybrid method for the planning and scheduling. Zbl 1122.90054Hooker, J. N. 26 2005 Solving satisfiability problems with preferences. Zbl 1208.68199Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco 25 2010 Earth observation satellite management. Zbl 0963.90507Bensana, E.; Lemaître, M.; Verfaillie, G. 24 1999 Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian 24 2008 Fast, flexible MUS enumeration. Zbl 1334.90080Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 23 2016 Cardinality networks: a theoretical and empirical study. Zbl 1217.68200Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 22 2011 Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039Gervet, Carmen 22 1997 An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Zbl 1204.68188Cheng, Kenil C. K.; Yap, Roland H. C. 20 2010 Constraint models for the covering test problem. Zbl 1103.68810Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M. 20 2006 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, 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.90030Baptiste, Philippe; Le Pape, Claude 19 2000 Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157Régin, Jean-Charles 19 2002 A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589Pulina, Luca; Tacchella, Armando 19 2009 Constraint propagation on quadratic constraints. Zbl 1208.68200Domes, Ferenc; Neumaier, Arnold 18 2010 Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014El Sakkout, Hani; Wallace, Mark 18 2000 Formal languages for integer programming modeling of shift scheduling problems. Zbl 1215.90026Côté, Marie-Claude; Gendron, Bernard; Quimper, Claude-Guy; Rousseau, Louis-Martin 17 2011 Solving various weighted matching problems with constraints. Zbl 0949.90058Caseau, Yves; Laburthe, François 17 2000 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 17 2011 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164Puranik, Yash; Sahinidis, Nikolaos V. 17 2017 High-order consistency in valued constraint satisfaction. Zbl 1112.68118Cooper, Martin C. 16 2005 SALSA: a language for search algorithms. Zbl 1020.68028Laburthe, François; Caseau, Yves 15 2002 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096Fischetti, Matteo; Jo, Jason 15 2018 Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138Nebel, Bernhard 14 1997 Global constraint catalogue: past, present and future. Zbl 1128.68092Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry 14 2007 Tractable cases of the extended global cardinality constraint. Zbl 1215.68164Samer, Marko; Szeider, Stefan 13 2011 A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090Lebbah, Yahia; Michel, Claude; Rueher, Michel 13 2005 Confluence and semantics of constraint simplification rules. Zbl 0951.68070Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger 13 1999 Optimization-oriented global constraints. Zbl 1028.68024Focacci, Filippo; Lodi, Andrea; Milano, Michela 13 2002 Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco 13 2015 On implementing symmetry detection. Zbl 1181.68177Mears, C.; Garcia de la Banda, M.; Wallace, M. 13 2009 Increasing constraint propagation by redundant modeling: An experience report. Zbl 0949.68605Cheng, B. M. W.; Choi, K. M. F.; Lee, J. H. M.; Wu, J. C. K. 12 1999 Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112Kaymak, U.; Sousa, J. M. 12 2003 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 2013 STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232Lecoutre, Christophe 12 2011 A global chance-constraint for stochastic inventory systems under service level constraints. Zbl 1162.90318Rossi, Roberto; Tarim, S. Armagan; Hnich, Brahim; Prestwich, Steven 12 2008 Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045Schaerf, Andrea 11 1999 Lagrangian bounds from decision diagrams. Zbl 1327.90116Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan 11 2015 Balancing bike sharing systems with constraint programming. Zbl 1334.90078Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso 11 2016 An overview of parallel SAT solving. Zbl 1309.90057Martins, Ruben; Manquinho, Vasco; Lynce, Inês 11 2012 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811Hooker, J. N. 11 2006 Learning optimal decision trees using constraint programming. Zbl 07446942Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre 11 2020 Resolution-based lower bounds in MaxSAT. Zbl 1208.68204Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi 10 2010 A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086Goldsztejn, Alexandre; Granvilliers, Laurent 10 2010 A solver for QBFs in negation normal form. Zbl 1167.68054Egly, Uwe; Seidl, Martina; Woltran, Stefan 10 2009 Local-search extraction of mUSes. Zbl 1211.90307Grégoire, Éric; Mazure, Bertrand; Piette, Cédric 10 2007 A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Zbl 1181.90291Liffiton, Mark; Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem 10 2009 Asynchronous forward-checking for DisCSPs. Zbl 1118.68158Meisels, Amnon; Zivan, Roie 10 2007 Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic 9 2010 Solving Kirkman’s schoolgirl problem in a few seconds. Zbl 1112.90064Barnier, Nicolas; Brisset, Pascal 9 2005 Symmetry breaking revisited. Zbl 1071.68094Puget, Jean-François 9 2005 Temporal constraints: A survey. Zbl 0911.68186Schwalb, Eddie; Vila, Lluís 9 1998 A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints. Zbl 0985.90038Kilby, Philip; Prosser, Patrick; Shaw, Paul 9 2000 Localizer. Zbl 0988.90015Michel, Laurent; Van Hentenryck, Pascal 9 2000 Consistency techniques in ordinary differential equations. Zbl 1020.65035Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal 9 2002 A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337Sorlin, Sébastien; Solnon, Christine 9 2008 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324Sanchez, Marti; de Givry, Simon; Schiex, Thomas 9 2008 Reformulation of global constraints based on constraints checkers. Zbl 1103.68804Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry 9 2005 Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813Law, Y. C.; Lee, J. H. M. 9 2006 Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196Živný, Stanislav; Jeavons, Peter G. 8 2010 A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115Lam, Edward; Van Hentenryck, Pascal 8 2016 Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220Carbonnel, Clément; Cooper, Martin C. 8 2016 Graph coloring inequalities from all-different systems. Zbl 1316.90056Bergman, David; Hooker, J. N. 8 2014 The complexity of reasoning with global constraints. Zbl 1124.68103Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 8 2007 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 8 2011 Complete bound consistency for the global cardinality constraint. Zbl 1084.68138Katriel, Irit; Thiel, Sven 8 2005 Constraint solving in uncertain and dynamic environments: A survey. Zbl 1086.68595Verfaillie, Gérard; Jussien, Narendra 8 2005 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Zbl 1309.90083Ansótegui, Carlos; Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu 8 2013 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 8 2019 Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117Zivan, Roie; Meisels, Amnon 8 2006 Limitations of restricted branching in clause learning. Zbl 1192.68643Järvisalo, Matti; Junttila, Tommi 8 2009 Model-driven visualizations of constraint-based local search. Zbl 1179.68141Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent 8 2009 Cardinal: a finite sets constraint solver. Zbl 1118.68653Azevedo, Francisco 8 2007 Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473Zampelli, Stéphane; Deville, Yves; Solnon, Christine 7 2010 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 7 2010 Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon 7 2016 Efficient algorithms for singleton arc consistency. Zbl 1216.68236Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe 7 2011 Dantzig-Wolfe decomposition and branch-and-price solving in G12. Zbl 1213.90174Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian 7 2011 How to determine the expressive power of constraints. Zbl 0951.68190Jeavons, Peter; Cohen, David; Gyssens, Marc 7 1999 A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073Nattaf, Margaux; Artigues, Christian; Lopez, Pierre 7 2015 Refined inequalities for stable marriage. Zbl 1028.91530Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C. 7 1999 Constraint-based attribute and interval planning. Zbl 1074.68609Frank, Jeremy; Jónsson, Ari 7 2003 Structural tractability of enumerating CSP solutions. Zbl 1310.05151Greco, Gianluigi; Scarcello, Francesco 7 2013 Minimization of locally defined submodular functions by optimal soft arc consistency. Zbl 1180.90262Cooper, Martin C. 7 2008 Hybrid search for minimal perturbation in dynamic CSPs. Zbl 1233.90176Zivan, Roie; Grubshtein, Alon; Meisels, Amnon 7 2011 On computing minimal independent support and its applications to sampling and counting. Zbl 1334.90146Ivrii, Alexander; Malik, Sharad; Meel, Kuldeep S.; Vardi, Moshe Y. 7 2016 Improved filtering for weighted circuit constraints. Zbl 1309.90115Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel 7 2012 Learning the travelling salesperson problem requires rethinking generalization. Zbl 1495.90156Joshi, Chaitanya K.; Cappart, Quentin; Rousseau, Louis-Martin; Laurent, Thomas 2 2022 Concise integer linear programming formulation for clique partitioning problems. Zbl 1495.90225Koshimura, Miyuki; Watanabe, Emi; Sakurai, Yuko; Yokoo, Makoto 1 2022 Variable ordering for decision diagrams: a portfolio approach. Zbl 1496.91043Karahalios, Anthony; van Hoeve, Willem-Jan 1 2022 A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences. Zbl 1498.91280Cseh, Ágnes; Escamocher, Guillaume; Genç, Begüm; Quesada, Luis 1 2022 Solution sampling with random table constraints. Zbl 07640672Vavrille, Mathieu; Truchet, Charlotte; Prud’homme, Charles 1 2022 Learn to relax: integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search. Zbl 07471952Devriendt, Jo; Gleixner, Ambros; Nordström, Jakob 1 2021 Learning optimal decision trees using constraint programming. Zbl 07446942Verhaeghe, 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.90265González, Jaime E.; Cire, Andre A.; Lodi, Andrea; Rousseau, Louis-Martin 4 2020 Non-local configuration of component interfaces by constraint satisfaction. Zbl 1508.68404Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex 1 2020 Efficient multiple constraint acquisition. Zbl 1483.90067Tsouros, Dimosthenis C.; Stergiou, Kostas 1 2020 On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Zbl 1508.68349Tchinda, Rodrigue Konan; Djamegni, Clémentin Tayou 1 2020 Constraints for symmetry breaking in graph representation. Zbl 1425.05099Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 8 2019 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 2 2019 \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. Zbl 1483.68244Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi 2 2019 Encoding cardinality constraints using multiway merge selection networks. Zbl 1432.68417Karpiński, Michał; Piotrów, Marek 2 2019 Improved WPM encoding for coalition structure generation under MC-nets. Zbl 1468.68203Liao, Xiaojuan; Koshimura, Miyuki; Nomoto, Kazuki; Ueda, Suguru; Sakurai, Yuko; Yokoo, Makoto 1 2019 Neighborhood singleton consistencies. Zbl 1468.68207Stergiou, Kostas 1 2019 The item dependent stockingcost constraint. Zbl 1430.90230Houndji, Vinasetan Ratheil; Schaus, Pierre; Wolsey, Laurence 1 2019 Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 1483.68498Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y. 1 2019 Incentive-based search for equilibria in Boolean games. Zbl 1427.91012Levit, 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.90169Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr 32 2018 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096Fischetti, Matteo; Jo, Jason 15 2018 Progress towards the Holy Grail. Zbl 1402.90178Freuder, Eugene C. 6 2018 Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina 3 2018 Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233Alghazi, Anas; Kurz, Mary E. 3 2018 Deriving generic bounds for time-series constraints based on regular expressions characteristics. Zbl 1396.90047Arafailova, Ekaterina; Beldiceanu, Nicolas; Simonis, Helmut 1 2018 How efficient is a global constraint in practice? A fair experimental framework. Zbl 1394.90431Van Cauwelaert, Sascha; Lombardi, Michele; Schaus, Pierre 1 2018 MiniBrass: soft constraints for MiniZinc. Zbl 1430.90525Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang 1 2018 From MDD to BDD and arc consistency. Zbl 1468.68209Vion, Julien; Piechowiak, Sylvain 1 2018 Constraint programming and operations research. Zbl 1402.90148Hooker, 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.90067Fahimi, Hamed; Ouellet, Yanick; Quimper, Claude-Guy 1 2018 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164Puranik, Yash; Sahinidis, Nikolaos V. 17 2017 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 6 2017 “Almost-stable” matchings in the hospitals/residents problem with couples. Zbl 1387.90143Manlove, David F.; McBride, Iain; Trimble, James 6 2017 Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games. Zbl 1390.90102Comin, Carlo; Posenato, Roberto; Rizzi, Romeo 5 2017 What is answer set programming to propositional satisfiability. Zbl 1423.68483Lierler, Yuliya 5 2017 A microkernel architecture for constraint programming. Zbl 1390.90520Michel, L.; Van Hentenryck, P. 4 2017 The power of propagation: when GAC is enough. Zbl 1387.90130Cohen, David A.; Jeavons, Peter G. 3 2017 Auto-tabling for subproblem presolving in MiniZinc. Zbl 1425.68386Dekker, 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.90047Nattaf, Margaux; Artigues, Christian; Lopez, Pierre 2 2017 Triangle-based consistencies for cost function networks. Zbl 1390.90116Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas 1 2017 Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining. Zbl 1427.68066Kemmar, Amina; Lebbah, Yahia; Loudni, Samir; Boizumault, Patrice; Charnois, Thierry 1 2017 Graphical models for optimal power flow. Zbl 1387.90262Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant 1 2017 Mining time-constrained sequential patterns with constraint programming. Zbl 1425.68338Aoga, John O. R.; Guns, Tias; Schaus, Pierre 1 2017 Fast, flexible MUS enumeration. Zbl 1334.90080Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 23 2016 Balancing bike sharing systems with constraint programming. Zbl 1334.90078Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso 11 2016 A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115Lam, Edward; Van Hentenryck, Pascal 8 2016 Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220Carbonnel, Clément; Cooper, Martin C. 8 2016 Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107Hurley, 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.90146Ivrii, 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.05046Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice 6 2016 Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105Bergman, David; Cire, Andre A. 4 2016 On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Zbl 1336.92031Nabli, Faten; Martinez, Thierry; Fages, François; Soliman, Sylvain 4 2016 Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut 4 2016 Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137Itzhakov, Avraham; Codish, Michael 3 2016 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 3 2016 Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085Kilby, Philip; Urli, Tommaso 3 2016 Visual search tree profiling. Zbl 1334.90170Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria 3 2016 A Lagrangian propagator for artificial neural networks in constraint programming. Zbl 1368.90148Lombardi, Michele; Gualandi, Stefano 2 2016 Operating room management under uncertainty. Zbl 1368.90147Gauthier, Jean Bertrand; Legrain, Antoine 2 2016 The salesman and the tree: the importance of search in CP. Zbl 1334.90143Fages, Jean-Guillaume; Lorca, Xavier; Rousseau, Louis-Martin 2 2016 Projection, consistency, and George Boole. Zbl 1396.03041Hooker, J. N. 2 2016 General game playing with stochastic CSP. Zbl 1411.91057Koriche, Frédéric; Lagrue, Sylvain; Piette, Éric; Tabary, Sébastien 2 2016 Three generalizations of the FOCUS constraint. Zbl 1368.90110Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby 1 2016 Constrained global optimization for wine blending. Zbl 1368.90133Vismara, Philippe; Coletta, Remi; Trombettoni, Gilles 1 2016 Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco 13 2015 Lagrangian bounds from decision diagrams. Zbl 1327.90116Bergman, 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.90073Nattaf, Margaux; Artigues, Christian; Lopez, Pierre 7 2015 A hybrid tractable class for non-binary CSPs. Zbl 1329.90149El Mouelhi, Achref; Jégou, Philippe; Terrioux, Cyril 6 2015 A constraint-based local search backend for MiniZinc. Zbl 1325.90076Bjö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.90130Cambazard, Hadrien; Fages, Jean-Guillaume 4 2015 Adaptive constructive interval disjunction: algorithms and experiments. Zbl 1329.90152Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio 4 2015 Large-scale parallelism for constraint-based local search: the costas array case study. Zbl 1316.90040Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador 3 2015 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 3 2015 A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal 2 2015 A method for detecting symmetries in constraint models and its generalisation. Zbl 1316.90029Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart 2 2015 Hybrid metaheuristics for stochastic constraint programming. Zbl 1316.90033Prestwich, S. D.; Tarim, S. A.; Rossi, R.; Hnich, B. 1 2015 Scheduling scientific experiments for comet exploration. Zbl 1314.90041Simonin, Gilles; Artigues, Christian; Hebrard, Emmanuel; Lopez, Pierre 1 2015 Improving the lower bound of simple tabular reduction. Zbl 1316.90026Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C. 1 2015 Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas 1 2015 Graph coloring inequalities from all-different systems. Zbl 1316.90056Bergman, David; Hooker, J. N. 8 2014 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 5 2014 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 4 2014 Lightweight dynamic symmetry breaking. Zbl 1338.90269Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark 4 2014 A quadratic edge-finding filtering algorithm for cumulative resource constraints. Zbl 1314.90038Kameugne, Roger; Fotso, Laure Pauline; Scott, Joseph; Ngo-Kateu, Youcheu 4 2014 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 3 2014 Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves 2 2014 Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Zbl 1316.90027Lee, J. H. M.; Leung, K. L.; Shum, Y. W. 2 2014 The octagon abstract domain for continuous constraints. Zbl 1338.90393Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric 2 2014 Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao 36 2013 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 2013 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories. Zbl 1309.90083Ansótegui, Carlos; Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu 8 2013 Structural tractability of enumerating CSP solutions. Zbl 1310.05151Greco, Gianluigi; Scarcello, Francesco 7 2013 Balancing and scheduling of flexible mixed model assembly lines. Zbl 1304.90149Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan 6 2013 On the reification of global constraints. Zbl 1328.68192Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 6 2013 View-based propagator derivation. Zbl 1328.68202Schulte, Christian; Tack, Guido 5 2013 Using dual presolving reductions to reformulate cumulative constraints. Zbl 1309.90066Heinz, Stefan; Schulz, Jens; Beck, J. Christopher 4 2013 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 4 2013 On the hardness of solving edge matching puzzles as SAT or CSP problems. Zbl 1310.05055Ansótegui, Carlos; Béjar, Ramón; Fernández, Cèsar; Mateu, Carles 2 2013 Nogood-based asynchronous forward checking algorithms. Zbl 1327.90113Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine 1 2013 ...and 217 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,332 Authors 29 Stuckey, Peter James 23 Marques-Silva, João P. 19 Rousseau, Louis-Martin 18 Cooper, Martin C. 18 Živný, Stanislav 17 Walsh, Toby 16 Hnich, Brahim 16 Van Hentenryck, Pascal 14 Gebser, Martin 14 Olarte, Carlos 14 O’Sullivan, Barry 14 Schaub, Torsten H. 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 10 Beldiceanu, Nicolas 10 Bortolussi, Luca 10 Codish, Michael 10 Flener, Pierre 10 Hooker, John N. jun. 10 Meisels, Amnon 9 Carlsson, Mats 9 Ciré, André Augusto 9 Domes, Ferenc 9 Goldsztejn, Alexandre 9 Jonsson, Peter 9 Lecoutre, Christophe 9 Miguel, Ian 9 Nightingale, Peter W. 9 Pesant, Gilles 9 Schiex, Thomas 9 Szeider, Stefan 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 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 Lombardi, Michele 6 Mencía, Carlos 6 Michel, Laurent 6 Quimper, Claude-Guy 6 Rizzi, Romeo 6 Schockaert, Steven 6 Schrijvers, Tom 6 Stergiou, Kostas 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 5 Freuder, Eugene C. 5 Frisch, Alan M. 5 Frühwirth, Thom 5 Gao, Yong ...and 2,232 more Authors all top 5 Cited in 166 Journals 209 Constraints 143 Artificial Intelligence 76 European Journal of Operational Research 52 Computers & Operations Research 45 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 Machine Learning 8 Applied Mathematical Modelling 8 Journal of Satisfiability, Boolean Modeling and Computation 7 Formal Methods in System Design 7 Optimization and Engineering 7 ACM Transactions on Computational Logic 7 4OR 7 SN Operations Research Forum 6 Information Sciences 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 Engineering Optimization 5 Mathematics in Computer Science 5 Mathematical Programming Computation 4 Applied Mathematics and Computation 4 SIAM Journal on Computing 4 Algorithmica 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 Journal of Optimization Theory and Applications 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 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 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 66 more Journals all top 5 Cited in 34 Fields 837 Computer science (68-XX) 647 Operations research, mathematical programming (90-XX) 87 Combinatorics (05-XX) 70 Mathematical logic and foundations (03-XX) 56 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 54 Biology and other natural sciences (92-XX) 40 Numerical analysis (65-XX) 25 Statistics (62-XX) 13 Systems theory; control (93-XX) 10 Calculus of variations and optimal control; optimization (49-XX) 10 Information and communication theory, circuits (94-XX) 9 General algebraic systems (08-XX) 7 Statistical mechanics, structure of matter (82-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Ordinary differential equations (34-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 General topology (54-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-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