ConstraintsAn International Journal Short Title: Constraints Publisher: Springer US, New York, NY ISSN: 1383-7133; 1572-9354/e Online: http://link.springer.com/journal/volumesAndIssues/10601 Documents Indexed: 429 Publications (since 1997) References Indexed: 278 Publications with 9,962 References. all top 5 Latest Issues 26, No. 1-4 (2021) 25, No. 3-4 (2020) 25, No. 1-2 (2020) 24, No. 3-4 (2019) 24, No. 2 (2019) 24, No. 1 (2019) 23, No. 4 (2018) 23, No. 3 (2018) 23, No. 2 (2018) 23, No. 1 (2018) 22, No. 4 (2017) 22, No. 3 (2017) 22, No. 2 (2017) 22, No. 1 (2017) 21, No. 4 (2016) 21, No. 3 (2016) 21, No. 2 (2016) 21, No. 1 (2016) 20, No. 4 (2015) 20, No. 3 (2015) 20, No. 2 (2015) 20, No. 1 (2015) 19, No. 4 (2014) 19, No. 3 (2014) 19, No. 1 (2014) 18, No. 4 (2013) 18, No. 3 (2013) 18, No. 2 (2013) 18, No. 1 (2013) 17, No. 4 (2012) 17, No. 3 (2012) 17, No. 2 (2012) 17, No. 1 (2012) 16, No. 4 (2011) 16, No. 3 (2011) 16, No. 2 (2011) 16, No. 1 (2011) 15, No. 4 (2010) 15, No. 3 (2010) 15, No. 2 (2010) 15, No. 1 (2010) 14, No. 4 (2009) 14, No. 3 (2009) 14, No. 2 (2009) 14, No. 1 (2009) 13, No. 4 (2008) 13, No. 3 (2008) 13, No. 1-2 (2008) 12, No. 4 (2007) 12, No. 3 (2007) 12, No. 2 (2007) 12, No. 1 (2007) 11, No. 4 (2006) 11, No. 2-3 (2006) 11, No. 1 (2006) 10, No. 4 (2005) 10, No. 3 (2005) 10, No. 2 (2005) 10, No. 1 (2005) 9, No. 4 (2004) 9, No. 3 (2004) 9, No. 2 (2004) 9, No. 1 (2004) 8, No. 4 (2003) 8, No. 3 (2003) 8, No. 2 (2003) 8, No. 1 (2003) 7, No. 3-4 (2002) 7, No. 2 (2002) 7, No. 1 (2002) 6, No. 4 (2001) 6, No. 2-3 (2001) 6, No. 1 (2001) 5, No. 4 (2000) 5, No. 3 (2000) 5, No. 1-2 (2000) 4, No. 4 (1999) 4, No. 3 (1999) 4, No. 2 (1999) 4, No. 1 (1999) 3, No. 4 (1998) 3, No. 2-3 (1998) 3, No. 1 (1998) 2, No. 3-4 (1997) 2, No. 2 (1997) 2, No. 1 (1997) 1, No. 3 (1997) all top 5 Authors 23 Van Hentenryck, Pascal 21 Stuckey, Peter James 9 Beldiceanu, Nicolas 9 Lee, Jimmy Ho-man 8 Flener, Pierre 8 Garcia de la Banda, Maria 8 Hnich, Brahim 8 Meisels, Amnon 7 Beck, J. Christopher 7 Bessiere, Christian 7 Carlsson, Mats 7 Deville, Yves 7 Michel, Laurent 7 Rousseau, Louis-Martin 7 Wallace, Mark G. 7 Walsh, Toby 6 Hebrard, Emmanuel 6 Hooker, John N. jun. 6 Jeavons, Peter G. 6 O’Sullivan, Barry 6 Pearson, Justin 6 Schaus, Pierre 6 Schiex, Thomas 6 van Hoeve, Willem-Jan 6 Zivan, Roie 5 Backofen, Rolf 5 Barahona, Pedro 5 Cohen, David A. 5 Freuder, Eugene C. 5 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 Codish, Michael 4 de Givry, Simon 4 Dechter, Rina 4 Goldsztejn, Alexandre 4 Harvey, Warwick 4 Jussien, Narendra 4 Law, Yat Chiu 4 Le Pape, Claude 4 Lecoutre, Christophe 4 Lorca, Xavier 4 Meseguer, Pedro 4 Pesant, Gilles 4 Simonis, Helmut 4 Tarim, S. Armagan 4 Yap, Roland H. C. 3 Artigues, Christian 3 Baptiste, Philippe 3 Bofill, Miquel 3 Bouyakhf, El Houssine 3 Brodsky, Alexander 3 Caseau, Yves 3 Chu, Geoffrey 3 Ciré, André Augusto 3 Codognet, Philippe 3 Cooper, Martin C. 3 Demoen, Bart 3 Fargier, Hélène 3 Grégoire, Éric 3 Katriel, Irit 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 Trombettoni, Gilles 3 Tsang, Edward P. K. 3 Vardi, Moshe Ya’akov 3 Verfaillie, Gérard 3 Villaret, Mateu 3 Vuffray, Marc 3 Will, Sebastian 3 Wilson, Nic 2 Achlioptas, Dimitris 2 Ågren, Magnus 2 Anger, Frank D. 2 Ansótegui, Carlos 2 Arafailova, Ekaterina 2 Azevedo, Francisco 2 Benhamou, Frédéric 2 Bistarelli, Stefano 2 Björdal, Gustav 2 Borning, Alan H. 2 Brand, Sebastian ...and 605 more Authors all top 5 Fields 280 Computer science (68-XX) 183 Operations research, mathematical programming (90-XX) 24 General and overarching topics; collections (00-XX) 15 Combinatorics (05-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Mathematical logic and foundations (03-XX) 7 Biology and other natural sciences (92-XX) 4 Numerical analysis (65-XX) 4 Information and communication theory, circuits (94-XX) 2 Statistics (62-XX) 1 History and biography (01-XX) 1 Ordinary differential equations (34-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 296 Publications have been cited 1,736 times in 1,180 Documents Cited by ▼ Year ▼ Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114Larrosa, Javier; Dechter, Rina 91 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. 59 1999 Propagation via lazy clause generation. Zbl 1192.68654Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 36 2009 A cost-regular based hybrid column generation approach. Zbl 1117.90066Demassey, Sophie; Pesant, Gilles; Rousseau, Louis-Martin 33 2006 Random constraint satisfaction: Flaws and structure. Zbl 0992.68193Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby 27 2001 Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao 26 2013 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 26 2001 Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001Bortolussi, Luca; Policriti, Alberto 26 2008 Radio link frequency assignment. Zbl 1020.94500Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 25 1999 A hybrid method for the planning and scheduling. Zbl 1122.90054Hooker, J. N. 22 2005 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 22 2008 Earth observation satellite management. Zbl 0963.90507Bensana, E.; Lemaître, M.; Verfaillie, G. 20 1999 Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039Gervet, Carmen 19 1997 Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian 19 2008 Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 18 2006 Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157Régin, Jean-Charles 18 2002 Compiling finite linear CSP into SAT. Zbl 1186.68076Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 18 2009 Solving satisfiability problems with preferences. Zbl 1208.68199Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco 18 2010 CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E. 17 2003 Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030Baptiste, Philippe; Le Pape, Claude 17 2000 Constraint propagation on quadratic constraints. Zbl 1208.68200Domes, Ferenc; Neumaier, Arnold 17 2010 Constraint models for the covering test problem. Zbl 1103.68810Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M. 16 2006 Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014El Sakkout, Hani; Wallace, Mark 16 2000 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. 16 2010 Solving various weighted matching problems with constraints. Zbl 0949.90058Caseau, Yves; Laburthe, François 16 2000 A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589Pulina, Luca; Tacchella, Armando 16 2009 Fast, flexible MUS enumeration. Zbl 1334.90080Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 16 2016 Cardinality networks: a theoretical and empirical study. Zbl 1217.68200Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 16 2011 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 15 2006 SALSA: a language for search algorithms. Zbl 1020.68028Laburthe, François; Caseau, Yves 15 2002 Formal languages for integer programming modeling of shift scheduling problems. Zbl 1215.90026Côté, Marie-Claude; Gendron, Bernard; Quimper, Claude-Guy; Rousseau, Louis-Martin 15 2011 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 15 2018 High-order consistency in valued constraint satisfaction. Zbl 1112.68118Cooper, Martin C. 14 2005 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2011 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 2013 Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112Kaymak, U.; Sousa, J. M. 12 2003 A rigorous global filtering algorithm for quadratic constraints. Zbl 1066.90090Lebbah, Yahia; Michel, Claude; Rueher, Michel 12 2005 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164Puranik, Yash; Sahinidis, Nikolaos V. 12 2017 An overview of parallel SAT solving. Zbl 1309.90057Martins, Ruben; Manquinho, Vasco; Lynce, Inês 11 2012 Confluence and semantics of constraint simplification rules. Zbl 0951.68070Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger 11 1999 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. 11 1999 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811Hooker, J. N. 11 2006 Global constraint catalogue: past, present and future. Zbl 1128.68092Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry 11 2007 Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class. Zbl 0870.68138Nebel, Bernhard 11 1997 A global chance-constraint for stochastic inventory systems under service level constraints. Zbl 1162.90318Rossi, Roberto; Tarim, S. Armagan; Hnich, Brahim; Prestwich, Steven 11 2008 Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045Schaerf, Andrea 10 1999 Optimization-oriented global constraints. Zbl 1028.68024Focacci, Filippo; Lodi, Andrea; Milano, Michela 10 2002 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 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 9 2009 Localizer. Zbl 0988.90015Michel, Laurent; Van Hentenryck, Pascal 9 2000 STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232Lecoutre, Christophe 9 2011 Lagrangian bounds from decision diagrams. Zbl 1327.90116Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan 8 2015 Local-search extraction of mUSes. Zbl 1211.90307Grégoire, Éric; Mazure, Bertrand; Piette, Cédric 8 2007 Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic 8 2010 Symmetry breaking revisited. Zbl 1071.68094Puget, Jean-François 8 2005 A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337Sorlin, Sébastien; Solnon, Christine 8 2008 A solver for QBFs in negation normal form. Zbl 1167.68054Egly, Uwe; Seidl, Martina; Woltran, Stefan 8 2009 Resolution-based lower bounds in MaxSAT. Zbl 1208.68204Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi 8 2010 Tractable cases of the extended global cardinality constraint. Zbl 1215.68164Samer, Marko; Szeider, Stefan 8 2011 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096Fischetti, Matteo; Jo, Jason 8 2018 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 The complexity of reasoning with global constraints. Zbl 1124.68103Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 7 2007 On topological consistency and realization. Zbl 1103.68770Li, Sanjiang 7 2006 Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813Law, Y. C.; Lee, J. H. M. 7 2006 Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117Zivan, Roie; Meisels, Amnon 7 2006 Asynchronous forward-checking for DisCSPs. Zbl 1118.68158Meisels, Amnon; Zivan, Roie 7 2007 Consistency techniques in ordinary differential equations. Zbl 1020.65035Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal 7 2002 A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086Goldsztejn, Alexandre; Granvilliers, Laurent 7 2010 Limitations of restricted branching in clause learning. Zbl 1192.68643Järvisalo, Matti; Junttila, Tommi 7 2009 Refined inequalities for stable marriage. Zbl 1028.91530Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C. 7 1999 Solving Kirkman’s schoolgirl problem in a few seconds. Zbl 1112.90064Barnier, Nicolas; Brisset, Pascal 7 2005 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324Sanchez, Marti; de Givry, Simon; Schiex, Thomas 7 2008 Minimization of locally defined submodular functions by optimal soft arc consistency. Zbl 1180.90262Cooper, Martin C. 7 2008 Structural tractability of enumerating CSP solutions. Zbl 1310.05151Greco, Gianluigi; Scarcello, Francesco 7 2013 Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196Živný, Stanislav; Jeavons, Peter G. 7 2010 Balancing bike sharing systems with constraint programming. Zbl 1334.90078Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso 7 2016 Constraint-based attribute and interval planning. Zbl 1074.68609Frank, Jeremy; Jónsson, Ari 6 2003 How to determine the expressive power of constraints. Zbl 0951.68190Jeavons, Peter; Cohen, David; Gyssens, Marc 6 1999 Reformulation of global constraints based on constraints checkers. Zbl 1103.68804Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry 6 2005 Filtering algorithms for the NValue constraint. Zbl 1114.68064Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby 6 2006 Cardinal: a finite sets constraint solver. Zbl 1118.68653Azevedo, Francisco 6 2007 Constraint networks of topological relations and convexity. Zbl 0946.68082Davis, Ernest; Gotts, Nicholas Mark; Cohn, Anthony G. 6 1999 Algorithmic power from declarative use of redundant constraints. Zbl 0949.68041van Emden, M. H. 6 1999 A framework for optimal correction of inconsistent linear constraints. Zbl 1066.90136Amaral, Paula; Barahona, Pedro 6 2005 Modeling biological networks by action languages via answer set programming. Zbl 1148.68564Dworschak, Steve; Grell, Susanne; Nikiforova, Victoria J.; Schaub, Torsten; Selbig, Joachim 6 2008 Evaluating ASP and commercial solvers on the CSPLib. Zbl 1179.90287Mancini, Toni; Micaletto, Davide; Patrizi, Fabio; Cadoli, Marco 6 2008 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 6 2016 Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473Zampelli, Stéphane; Deville, Yves; Solnon, Christine 6 2010 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 6 2010 Complete bound consistency for the global cardinality constraint. Zbl 1084.68138Katriel, Irit; Thiel, Sven 6 2005 Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220Carbonnel, Clément; Cooper, Martin C. 6 2016 A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073Nattaf, Margaux; Artigues, Christian; Lopez, Pierre 5 2015 Balancing and scheduling of flexible mixed model assembly lines. Zbl 1304.90149Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan 5 2013 Solving constraint satisfaction problems with SAT modulo theories. Zbl 1309.90099Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu 5 2012 Cost-based filtering for shorter path constraints. Zbl 1141.68055Sellmann, Meinolf; Gellermann, Thorsten; Wright, Robert 5 2007 Statistical regimes across constrainedness regions. Zbl 1102.68651Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessière, Christian 5 2005 A constraint-based approach to fast and exact structure prediction in three-dimensional protein models. Zbl 1103.68959Backofen, Rolf; Will, Sebastian 5 2006 Nondeterministic control for hybrid search. Zbl 1112.68039Van Hentenryck, Pascal; Michel, Laurent 5 2006 Model-driven visualizations of constraint-based local search. Zbl 1179.68141Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent 5 2009 Learning optimal decision trees using constraint programming. Zbl 07446942Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre 2 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 1 2020 Non-local configuration of component interfaces by constraint satisfaction. Zbl 07446939Tveretina, Olga; Zaichenkov, Pavel; Shafarenko, Alex 1 2020 On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Zbl 07446943Tchinda, 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. 2 2019 \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. Zbl 1483.68244Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi 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 Neighborhood singleton consistencies. Zbl 1468.68207Stergiou, Kostas 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 15 2018 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096Fischetti, Matteo; Jo, Jason 8 2018 Progress towards the Holy Grail. Zbl 1402.90178Freuder, Eugene C. 3 2018 Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs. Zbl 1395.90187Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William; Dechter, Rina 2 2018 Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233Alghazi, Anas; Kurz, Mary E. 2 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 Constraint programming and operations research. Zbl 1402.90148Hooker, J. N.; van Hoeve, W.-J. 1 2018 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164Puranik, Yash; Sahinidis, Nikolaos V. 12 2017 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 5 2017 What is answer set programming to propositional satisfiability. Zbl 1423.68483Lierler, Yuliya 4 2017 “Almost-stable” matchings in the hospitals/residents problem with couples. Zbl 1387.90143Manlove, David F.; McBride, Iain; Trimble, James 4 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 4 2017 A microkernel architecture for constraint programming. Zbl 1390.90520Michel, L.; Van Hentenryck, P. 3 2017 The power of propagation: when GAC is enough. Zbl 1387.90130Cohen, David A.; Jeavons, Peter G. 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 Graphical models for optimal power flow. Zbl 1387.90262Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant 1 2017 Auto-tabling for subproblem presolving in MiniZinc. Zbl 1425.68386Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël 1 2017 Mining time-constrained sequential patterns with constraint programming. Zbl 1425.68338Aoga, John O. R.; Guns, Tias; Schaus, Pierre 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 Fast, flexible MUS enumeration. Zbl 1334.90080Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 16 2016 Balancing bike sharing systems with constraint programming. Zbl 1334.90078Di Gaspero, Luca; Rendl, Andrea; Urli, Tommaso 7 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 6 2016 Tractability in constraint satisfaction problems: a survey. Zbl 1334.90220Carbonnel, Clément; Cooper, Martin C. 6 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. 5 2016 Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice 5 2016 A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115Lam, Edward; Van Hentenryck, Pascal 4 2016 Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085Kilby, Philip; Urli, Tommaso 2 2016 Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut 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 Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137Itzhakov, Avraham; Codish, Michael 2 2016 A Lagrangian propagator for artificial neural networks in constraint programming. Zbl 1368.90148Lombardi, Michele; Gualandi, Stefano 2 2016 Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105Bergman, David; Cire, Andre A. 2 2016 Operating room management under uncertainty. Zbl 1368.90147Gauthier, Jean Bertrand; Legrain, Antoine 2 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 2 2016 Quantified maximum satisfiability. Zbl 1334.90075Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 2 2016 Visual search tree profiling. Zbl 1334.90170Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria 1 2016 Three generalizations of the FOCUS constraint. Zbl 1368.90110Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby 1 2016 The salesman and the tree: the importance of search in CP. Zbl 1334.90143Fages, Jean-Guillaume; Lorca, Xavier; Rousseau, Louis-Martin 1 2016 Lagrangian bounds from decision diagrams. Zbl 1327.90116Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan 8 2015 A hybrid exact method for a scheduling problem with a continuous resource and energy constraints. Zbl 1327.90073Nattaf, Margaux; Artigues, Christian; Lopez, Pierre 5 2015 A constraint-based local search backend for MiniZinc. Zbl 1325.90076Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin 4 2015 New filtering for AtMostNValue and its weighted variant: a Lagrangian approach. Zbl 1327.90130Cambazard, Hadrien; Fages, Jean-Guillaume 4 2015 Adaptive constructive interval disjunction: algorithms and experiments. Zbl 1329.90152Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio 4 2015 Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco 4 2015 A hybrid tractable class for non-binary CSPs. Zbl 1329.90149El Mouelhi, Achref; Jégou, Philippe; Terrioux, Cyril 3 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 2 2015 A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal 1 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 Dominance breaking constraints. Zbl 1316.90025Chu, Geoffrey; Stuckey, Peter J. 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. 5 2014 Lightweight dynamic symmetry breaking. Zbl 1338.90269Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark 4 2014 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049Stojadinović, Mirko; Marić, Filip 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 Explaining circuit propagation. Zbl 1310.05144Francis, Kathryn Glenn; Stuckey, Peter J. 2 2014 Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves 2 2014 A quadratic edge-finding filtering algorithm for cumulative resource constraints. Zbl 1314.90038Kameugne, Roger; Fotso, Laure Pauline; Scott, Joseph; Ngo-Kateu, Youcheu 2 2014 Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Zbl 1316.90027Lee, J. H. M.; Leung, K. L.; Shum, Y. W. 1 2014 The octagon abstract domain for continuous constraints. Zbl 1338.90393Pelleau, Marie; Truchet, Charlotte; Benhamou, Frédéric 1 2014 Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao 26 2013 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 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 5 2013 On the reification of global constraints. Zbl 1328.68192Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 4 2013 Using dual presolving reductions to reformulate cumulative constraints. Zbl 1309.90066Heinz, Stefan; Schulz, Jens; Beck, J. Christopher 3 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 3 2013 Search combinators. Zbl 1309.90090Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J. 3 2013 View-based propagator derivation. Zbl 1328.68202Schulte, Christian; Tack, Guido 3 2013 Nogood-based asynchronous forward checking algorithms. Zbl 1327.90113Wahbi, Mohamed; Ezzahir, Redouane; Bessiere, Christian; Bouyakhf, El Houssine 1 2013 Redundant disequalities in the Latin square problem. Zbl 1317.90253Demoen, Bart; Garcia de la Banda, Maria 1 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 1 2013 An overview of parallel SAT solving. Zbl 1309.90057Martins, Ruben; Manquinho, Vasco; Lynce, Inês 11 2012 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 Solving constraint satisfaction problems with SAT modulo theories. Zbl 1309.90099Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu 5 2012 Interval-based projection method for under-constrained numerical systems. Zbl 1309.90101Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe 4 2012 Dulmage-Mendelsohn canonical decomposition as a generic pruning technique. Zbl 1309.90116Cymer, Radosław 2 2012 A complexity perspective on entailment of parameterized linear constraints. Zbl 1309.90107Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr 2 2012 Constraint-based very large-scale neighborhood search. Zbl 1242.90104Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves 2 2012 Corrigendum to: “Min-domain retroactive ordering for asynchronous backtracking”. Zbl 1304.68165Mechqrane, Younes; Wahbi, Mohamed; Bessiere, Christian; Bouyakhf, El Houssine; Meisels, Amnon; Zivan, Roie 1 2012 LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal 1 2012 Exploiting subproblem dominance in constraint programming. Zbl 1247.68249Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J. 1 2012 Cardinality networks: a theoretical and empirical study. Zbl 1217.68200Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 16 2011 Formal languages for integer programming modeling of shift scheduling problems. Zbl 1215.90026Côté, Marie-Claude; Gendron, Bernard; Quimper, Claude-Guy; Rousseau, Louis-Martin 15 2011 Explaining the cumulative propagator. Zbl 1226.68099Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 13 2011 STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232Lecoutre, Christophe 9 2011 Tractable cases of the extended global cardinality constraint. Zbl 1215.68164Samer, Marko; Szeider, Stefan 8 2011 MDD propagators with explanation. Zbl 1241.90066Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 5 2011 Efficient algorithms for singleton arc consistency. Zbl 1216.68236Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe 5 2011 ...and 196 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,986 Authors 24 Stuckey, Peter James 21 Marques-Silva, João P. 18 Rousseau, Louis-Martin 17 Cooper, Martin C. 16 Hnich, Brahim 16 Živný, Stanislav 15 Van Hentenryck, Pascal 15 Walsh, Toby 14 Olarte, Carlos 14 Tarim, S. Armagan 13 O’Sullivan, Barry 13 Rossi, Roberto 12 Bessiere, Christian 12 Prestwich, Steven D. 11 Cohen, David A. 11 Ignatyev, Alexey A. 11 Schaus, Pierre 10 Beck, J. Christopher 10 Beldiceanu, Nicolas 10 Jeavons, Peter G. 10 Meisels, Amnon 10 Schaub, Torsten H. 9 Bortolussi, Luca 9 de Givry, Simon 9 Domes, Ferenc 9 Flener, Pierre 9 Goldsztejn, Alexandre 9 Lee, Jimmy Ho-man 9 Schiex, Thomas 8 Artigues, Christian 8 Cambazard, Hadrien 8 Dechter, Rina 8 Greco, Gianluigi 8 Hooker, John N. jun. 8 Larrosa, Javier 8 Lecoutre, Christophe 8 Neumaier, Arnold 8 Nightingale, Peter W. 8 Solnon, Christine 8 van Hoeve, Willem-Jan 8 Wilson, Nic 7 Carlsson, Mats 7 Ciré, André Augusto 7 Janota, Mikoláš 7 Jaulin, Luc 7 Jonsson, Peter A. 7 Lopez, Pierre 7 Miguel, Ian 7 Pearson, Justin 7 Pesant, Gilles 7 Pimentel, Elaine 7 Szeider, Stefan 7 Zivan, Roie 6 Boizumault, Patrice 6 Codish, Michael 6 Deville, Yves 6 Gange, Graeme 6 Garcia de la Banda, Maria 6 Gendron, Bernard 6 Gualandi, Stefano 6 Li, Sanjiang 6 Lynce, Inês 6 Mencía, Carlos 6 Michel, Laurent 6 Milano, Michela 6 Policriti, Alberto 6 Régin, Jean-Charles 6 Rossi, Francesca 6 Schockaert, Steven 6 Schrijvers, Tom 6 Tack, Guido 6 Vardi, Moshe Ya’akov 6 Wallace, Mark G. 5 Ansótegui, Carlos 5 Barahona, Pedro 5 Cadoli, Marco 5 De Cock, Martine 5 Demoen, Bart 5 Dodaro, Carmine 5 Frühwirth, Thom 5 Gebser, Martin 5 Hebrard, Emmanuel 5 Hillston, Jane 5 Jefferson, Christopher 5 Jermann, Christophe 5 Lombardi, Michele 5 Loudni, Samir 5 Mancini, Toni 5 Maratea, Marco 5 Misener, Ruth 5 Previti, Alessandro 5 Sahinidis, Nikolaos V. 5 Scarcello, Francesco 5 Schichl, Hermann 5 Simonis, Helmut 5 Smith, Barbara M. 5 Stergiou, Kostas 5 Venable, Kristen Brent 4 Allouche, David 4 Alviano, Mario ...and 1,886 more Authors all top 5 Cited in 151 Journals 187 Constraints 133 Artificial Intelligence 65 European Journal of Operational Research 44 Theory and Practice of Logic Programming 41 Annals of Operations Research 39 Computers & Operations Research 36 Theoretical Computer Science 34 Annals of Mathematics and Artificial Intelligence 26 Journal of Global Optimization 22 Discrete Applied Mathematics 17 Journal of Scheduling 16 INFORMS Journal on Computing 15 Information and Computation 11 Journal of Computer and System Sciences 11 Journal of Automated Reasoning 11 Journal of Heuristics 9 Fuzzy Sets and Systems 9 International Journal of Approximate Reasoning 9 Journal of Combinatorial Optimization 8 Mathematical Programming. Series A. Series B 8 Journal of Satisfiability, Boolean Modeling and Computation 7 Formal Methods in System Design 6 Information Sciences 6 Applied Mathematical Modelling 6 Optimization and Engineering 6 RAIRO. Operations Research 5 Acta Informatica 5 Journal of Computational and Applied Mathematics 5 The Journal of Artificial Intelligence Research (JAIR) 5 4OR 5 Mathematics in Computer Science 5 Mathematical Programming Computation 4 Applied Mathematics and Computation 4 SIAM Journal on Computing 4 Algorithmica 4 Machine Learning 4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 4 Mathematical Problems in Engineering 4 Optimization Methods & Software 4 International Journal of Applied Mathematics and Computer Science 4 OR Spectrum 4 ACM Transactions on Computational Logic 4 EURO Journal on Computational Optimization 4 SN Operations Research Forum 3 Discrete Mathematics 3 Automatica 3 Journal of Optimization Theory and Applications 3 AI Communications 3 Pattern Recognition 3 Cybernetics and Systems Analysis 3 Computational Optimization and Applications 3 CEJOR. Central European Journal of Operations Research 3 Fundamenta Informaticae 3 Journal of Discrete Algorithms 3 Fuzzy Optimization and Decision Making 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 BIT 2 Journal of Statistical Planning and Inference 2 Networks 2 Operations Research Letters 2 International Journal of Production Research 2 SIAM Journal on Discrete Mathematics 2 Random Structures & Algorithms 2 Journal of Computer and Systems Sciences International 2 Journal of Applied Non-Classical Logics 2 Reliable Computing 2 International Transactions in Operational Research 2 Theory of Computing Systems 2 Journal of Inequalities and Applications 2 Journal of Graph Algorithms and Applications 2 Electronic Commerce Research 2 JMMA. Journal of Mathematical Modelling and Algorithms 2 Journal of Applied Logic 2 Computational & Mathematical Methods in Medicine 2 International Journal of Semantic Computing 2 Algorithms 1 Computers & Mathematics with Applications 1 International Journal of Control 1 Indian Journal of Pure & Applied Mathematics 1 Journal of Mathematical Analysis and Applications 1 Journal of Statistical Physics 1 Physics Reports 1 Mathematics of Computation 1 Computing 1 International Journal of Game Theory 1 Journal of Algebra 1 Journal of Philosophical Logic 1 Notre Dame Journal of Formal Logic 1 Operations Research 1 Software. Practice & Experience 1 European Journal of Combinatorics 1 Cybernetics and Systems 1 Science of Computer Programming 1 Mathematical Social Sciences 1 Combinatorica 1 Bulletin of the Iranian Mathematical Society 1 Journal of Classification 1 Journal of Symbolic Computation ...and 51 more Journals all top 5 Cited in 34 Fields 700 Computer science (68-XX) 537 Operations research, mathematical programming (90-XX) 71 Combinatorics (05-XX) 61 Mathematical logic and foundations (03-XX) 51 Biology and other natural sciences (92-XX) 38 Numerical analysis (65-XX) 38 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Statistics (62-XX) 12 Systems theory; control (93-XX) 9 Information and communication theory, circuits (94-XX) 8 Calculus of variations and optimal control; optimization (49-XX) 7 General algebraic systems (08-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Ordinary differential equations (34-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Associative rings and algebras (16-XX) 4 Geometry (51-XX) 4 Probability theory and stochastic processes (60-XX) 3 Commutative algebra (13-XX) 3 Convex and discrete geometry (52-XX) 2 General and overarching topics; collections (00-XX) 2 General topology (54-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-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 particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year