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: 466 Publications (since 1997) References Indexed: 313 Publications with 11,446 References. all top 5 Latest Issues 28, No. 4 (2023) 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 Vavrille, Mathieu 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 ...and 680 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 326 Publications have been cited 2,431 times in 1,552 Documents Cited by ▼ Year ▼ Boosting search with variable elimination in constraint optimization and constraint satisfaction problems. Zbl 1057.68114 Larrosa, Javier; Dechter, Rina 108 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. 73 1999 Propagation via lazy clause generation. Zbl 1192.68654 Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael 55 2009 Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199 Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao 39 2013 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 37 2008 IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG. Zbl 1400.90169 Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr 37 2018 Radio link frequency assignment. Zbl 1020.94500 Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 34 1999 Compiling finite linear CSP into SAT. Zbl 1186.68076 Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori 33 2009 Random constraint satisfaction: Flaws and structure. Zbl 0992.68193 Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby 32 2001 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 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 29 2001 CTP: A new constraint-based formalism for conditional, temporal planning. Zbl 1074.68616 Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E. 29 2003 Fast, flexible MUS enumeration. Zbl 1334.90080 Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 29 2016 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 27 2008 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096 Fischetti, Matteo; Jo, Jason 27 2018 Solving satisfiability problems with preferences. Zbl 1208.68199 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco 27 2010 Stochastic constraint programming: A scenario-based approach. Zbl 1103.68828 Armagan Tarim, S.; Manandhar, Suresh; Walsh, Toby 27 2006 A hybrid method for the planning and scheduling. Zbl 1122.90054 Hooker, J. N. 26 2005 Earth observation satellite management. Zbl 0963.90507 Bensana, E.; Lemaître, M.; Verfaillie, G. 25 1999 Constraint models for the covering test problem. Zbl 1103.68810 Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M. 23 2006 Cardinality networks: a theoretical and empirical study. Zbl 1217.68200 Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric 23 2011 Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems. Zbl 0941.90030 Baptiste, Philippe; Le Pape, Claude 22 2000 Interval propagation to reason about sets: Definition and implementation of a practical language. Zbl 0870.68039 Gervet, Carmen 22 1997 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. 21 2010 A self-adaptive multi-engine solver for quantified Boolean formulas. Zbl 1183.68589 Pulina, Luca; Tacchella, Armando 20 2009 Explaining the cumulative propagator. Zbl 1226.68099 Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G. 20 2011 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809 Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 20 2006 Probe backtrack search for minimal perturbation in dynamic scheduling. Zbl 0970.68014 El Sakkout, Hani; Wallace, Mark 19 2000 Cost-based arc consistency for global cardinality constraints. Zbl 1028.68157 Régin, Jean-Charles 19 2002 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164 Puranik, Yash; Sahinidis, Nikolaos V. 19 2017 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 19 2011 High-order consistency in valued constraint satisfaction. Zbl 1112.68118 Cooper, Martin C. 18 2005 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 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 16 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 15 2007 Learning optimal decision trees using constraint programming. Zbl 07446942 Verhaeghe, Hélène; Nijssen, Siegfried; Pesant, Gilles; Quimper, Claude-Guy; Schaus, Pierre 15 2020 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 Confluence and semantics of constraint simplification rules. Zbl 0951.68070 Abdennadher, Slim; Frühwirth, Thom; Meuss, Holger 13 1999 STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232 Lecoutre, Christophe 13 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. 13 2016 Solving strong controllability of temporal problems with uncertainty using SMT. Zbl 1314.90043 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco 13 2015 On implementing symmetry detection. Zbl 1181.68177 Mears, C.; Garcia de la Banda, M.; Wallace, M. 13 2009 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 Weighted constraint aggregation in fuzzy optimization. Zbl 1040.68112 Kaymak, U.; Sousa, J. M. 12 2003 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 Lagrangian bounds from decision diagrams. Zbl 1327.90116 Bergman, David; Cire, Andre A.; Van Hoeve, Willem-Jan 12 2015 Models and emerging trends of concurrent constraint programming. Zbl 1317.90283 Olarte, Carlos; Rueda, Camilo; Valencia, Frank D. 12 2013 An integrated method for planning and scheduling to minimize tardiness. Zbl 1103.68811 Hooker, J. N. 12 2006 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 Scheduling sport tournaments using constraint logic programming. Zbl 0949.90045 Schaerf, Andrea 11 1999 An overview of parallel SAT solving. Zbl 1309.90057 Martins, Ruben; Manquinho, Vasco; Lynce, Inês 11 2012 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324 Sanchez, Marti; de Givry, Simon; Schiex, Thomas 11 2008 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. 11 2016 Local-search extraction of mUSes. Zbl 1211.90307 Grégoire, Éric; Mazure, Bertrand; Piette, Cédric 10 2007 Temporal constraints: A survey. Zbl 0911.68186 Schwalb, Eddie; Vila, Lluís 10 1998 A solver for QBFs in negation normal form. Zbl 1167.68054 Egly, Uwe; Seidl, Martina; Woltran, Stefan 10 2009 Improved filtering for weighted circuit constraints. Zbl 1309.90115 Benchimol, Pascal; van Hoeve, Willem-Jan; Régin, Jean-Charles; Rousseau, Louis-Martin; Rueher, Michel 10 2012 Asynchronous forward-checking for DisCSPs. Zbl 1118.68158 Meisels, Amnon; Zivan, Roie 10 2007 Resolution-based lower bounds in MaxSAT. Zbl 1208.68204 Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi 10 2010 Reformulation of global constraints based on constraints checkers. Zbl 1103.68804 Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry 10 2005 A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Zbl 1203.65086 Goldsztejn, Alexandre; Granvilliers, Laurent 10 2010 Constraints for symmetry breaking in graph representation. Zbl 1425.05099 Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 10 2019 Lexicographically-ordered constraint satisfaction problems. Zbl 1191.68632 Freuder, Eugene C.; Heffernan, Robert; Wallace, Richard J.; Wilson, Nic 10 2010 Localizer. Zbl 0988.90015 Michel, Laurent; Van Hentenryck, Pascal 9 2000 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 Constraint-based attribute and interval planning. Zbl 1074.68609 Frank, Jeremy; Jónsson, Ari 9 2003 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 How to determine the expressive power of constraints. Zbl 0951.68190 Jeavons, Peter; Cohen, David; Gyssens, Marc 9 1999 The complexity of reasoning with global constraints. Zbl 1124.68103 Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Walsh, Toby 9 2007 A parametric filtering algorithm for the graph isomorphism problem. Zbl 1162.05337 Sorlin, Sébastien; Solnon, Christine 9 2008 Interval-based projection method for under-constrained numerical systems. Zbl 1309.90101 Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe 9 2012 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092 Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 9 2017 Symmetry breaking constraints for value symmetries in constraint satisfaction. Zbl 1103.68813 Law, Y. C.; Lee, J. H. M. 9 2006 A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115 Lam, Edward; Van Hentenryck, Pascal 9 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 9 2016 Refined inequalities for stable marriage. Zbl 1028.91530 Aldershof, Brian; Carducci, Olivia M.; Lorenc, David C. 8 1999 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 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 Cardinal: a finite sets constraint solver. Zbl 1118.68653 Azevedo, Francisco 8 2007 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 MDD propagators with explanation. Zbl 1241.90066 Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw 8 2011 Classes of submodular constraints expressible by graph cuts. Zbl 1208.68196 Živný, Stanislav; Jeavons, Peter G. 8 2010 Philosophy of the MiniZinc challenge. Zbl 1208.68207 Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 8 2010 Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473 Zampelli, Stéphane; Deville, Yves; Solnon, Christine 8 2010 Graph coloring inequalities from all-different systems. Zbl 1316.90056 Bergman, David; Hooker, J. N. 8 2014 Structural tractability of enumerating CSP solutions. Zbl 1310.05151 Greco, Gianluigi; Scarcello, Francesco 8 2013 Dynamic ordering for asynchronous backtracking on DisCSPs. Zbl 1103.68117 Zivan, Roie; Meisels, Amnon 8 2006 Statistical regimes across constrainedness regions. Zbl 1102.68651 Gomes, Carla P.; Fernández, Cèsar; Selman, Bart; Bessière, Christian 8 2005 Efficient algorithms for singleton arc consistency. Zbl 1216.68236 Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe 8 2011 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 CSP beyond tractable constraint languages. Zbl 07805096 Dreier, Jan; Ordyniak, Sebastian; Szeider, Stefan 2 2023 SAT-based optimal classification trees for non-binary data. Zbl 07738738 Shati, Pouya; Cohen, Eldan; McIlraith, Sheila A. 1 2023 Solution sampling with random table constraints. Zbl 1541.68337 Vavrille, Mathieu; Truchet, Charlotte; Prud’homme, Charles 2 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 2 2022 Fast and parallel decomposition of constraint satisfaction problems. Zbl 07594545 Gottlob, Georg; Okulmus, Cem; Pichler, Reinhard 2 2022 Learning the travelling salesperson problem requires rethinking generalization. Zbl 1495.90156 Joshi, Chaitanya K.; Cappart, Quentin; Rousseau, Louis-Martin; Laurent, Thomas 2 2022 Variable ordering for decision diagrams: a portfolio approach. Zbl 1496.91043 Karahalios, Anthony; van Hoeve, Willem-Jan 2 2022 Concise integer linear programming formulation for clique partitioning problems. Zbl 1495.90225 Koshimura, Miyuki; Watanabe, Emi; Sakurai, Yuko; Yokoo, Makoto 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 15 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 5 2020 On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers. Zbl 1508.68349 Tchinda, Rodrigue Konan; Djamegni, Clémentin Tayou 2 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 Exact and flexible solution approach to a critical chain project management problem. Zbl 1479.90089 Goto, Hiroyuki; Murray, Alan T. 1 2020 Constraints for symmetry breaking in graph representation. Zbl 1425.05099 Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J. 10 2019 Compiling CP subproblems to MDDs and d-DNNFs. Zbl 1468.68195 de Uña, Diego; Gange, Graeme; Schachte, Peter; Stuckey, Peter J. 4 2019 \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. Zbl 1483.68244 Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi 3 2019 Not all FPRASs are equal: demystifying FPRASs for DNF-counting. Zbl 1483.68498 Meel, Kuldeep S.; Shrotri, Aditya A.; Vardi, Moshe Y. 3 2019 Encoding cardinality constraints using multiway merge selection networks. Zbl 1432.68417 Karpiński, Michał; Piotrów, Marek 3 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 2 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 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 37 2018 Deep neural networks and mixed integer linear optimization. Zbl 1402.90096 Fischetti, Matteo; Jo, Jason 27 2018 Progress towards the Holy Grail. Zbl 1402.90178 Freuder, Eugene C. 7 2018 Mixed model line balancing with parallel stations, zoning constraints, and ergonomics. Zbl 1414.90233 Alghazi, Anas; Kurz, Mary E. 4 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 MiniBrass: soft constraints for MiniZinc. Zbl 1430.90525 Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang 3 2018 Constraint programming and operations research. Zbl 1402.90148 Hooker, J. N.; van Hoeve, W.-J. 2 2018 From MDD to BDD and arc consistency. Zbl 1468.68209 Vion, Julien; Piechowiak, Sylvain 2 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 Online over time processing of combinatorial problems. Zbl 1402.90145 Duque, Robinson; Arbelaez, Alejandro; Díaz, Juan F. 1 2018 Deriving generic bounds for time-series constraints based on regular expressions characteristics. Zbl 1396.90047 Arafailova, Ekaterina; Beldiceanu, Nicolas; Simonis, Helmut 1 2018 How efficient is a global constraint in practice? A fair experimental framework. Zbl 1394.90431 Van Cauwelaert, Sascha; Lombardi, Michele; Schaus, Pierre 1 2018 Domain reduction techniques for global NLP and MINLP optimization. Zbl 1387.90164 Puranik, Yash; Sahinidis, Nikolaos V. 19 2017 Using constraint programming for solving RCPSP/MAX-cal. Zbl 1387.90092 Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J. 9 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 6 2017 The power of propagation: when GAC is enough. Zbl 1387.90130 Cohen, David A.; Jeavons, Peter G. 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 6 2017 A microkernel architecture for constraint programming. Zbl 1390.90520 Michel, L.; Van Hentenryck, P. 4 2017 Triangle-based consistencies for cost function networks. Zbl 1390.90116 Nguyen, Hiep; Bessiere, Christian; de Givry, Simon; Schiex, Thomas 3 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 2 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 Mining time-constrained sequential patterns with constraint programming. Zbl 1425.68338 Aoga, John O. R.; Guns, Tias; Schaus, Pierre 2 2017 Graphical models for optimal power flow. Zbl 1387.90262 Dvijotham, Krishnamurthy; Chertkov, Michael; van Hentenryck, Pascal; Vuffray, Marc; Misra, Sidhant 1 2017 Fast, flexible MUS enumeration. Zbl 1334.90080 Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao 29 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. 13 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. 11 2016 A branch-and-price-and-check model for the vehicle routing problem with location congestion. Zbl 1368.90115 Lam, Edward; Van Hentenryck, Pascal 9 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 9 2016 Quantified maximum satisfiability. Zbl 1334.90075 Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 7 2016 Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046 Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice 6 2016 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 5 2016 Theoretical insights and algorithmic tools for decision diagram-based optimization. Zbl 1368.90105 Bergman, David; Cire, Andre A. 5 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 Breaking symmetries in graph search with canonizing sets. Zbl 1368.90137 Itzhakov, Avraham; Codish, Michael 4 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 The salesman and the tree: the importance of search in CP. Zbl 1334.90143 Fages, Jean-Guillaume; Lorca, Xavier; Rousseau, Louis-Martin 3 2016 Fleet design optimisation from historical data using constraint programming and large neighbourhood search. Zbl 1334.90085 Kilby, Philip; Urli, Tommaso 3 2016 A Lagrangian propagator for artificial neural networks in constraint programming. Zbl 1368.90148 Lombardi, Michele; Gualandi, Stefano 3 2016 Operating room management under uncertainty. Zbl 1368.90147 Gauthier, Jean Bertrand; Legrain, Antoine 3 2016 General game playing with stochastic CSP. Zbl 1411.91057 Koriche, Frédéric; Lagrue, Sylvain; Piette, Éric; Tabary, Sébastien 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 Side-channel cryptographic attacks using pseudo-Boolean optimization. Zbl 1368.94121 Oren, Yossef; Wool, Avishai 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 Dominance breaking constraints. Zbl 1316.90025 Chu, Geoffrey; Stuckey, Peter J. 5 2015 New filtering for AtMostNValue and its weighted variant: a Lagrangian approach. Zbl 1327.90130 Cambazard, Hadrien; Fages, Jean-Guillaume 4 2015 Adaptive constructive interval disjunction: algorithms and experiments. Zbl 1329.90152 Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio 4 2015 Large-scale parallelism for constraint-based local search: the costas array case study. Zbl 1316.90040 Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador 4 2015 A column-generation approach for joint mobilization and evacuation planning. Zbl 1327.90353 Pillac, Victor; Cebrian, Manuel; Van Hentenryck, Pascal 3 2015 A method for detecting symmetries in constraint models and its generalisation. Zbl 1316.90029 Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart 2 2015 Hybrid metaheuristics for stochastic constraint programming. Zbl 1316.90033 Prestwich, S. D.; Tarim, S. A.; Rossi, R.; Hnich, B. 1 2015 Scheduling scientific experiments for comet exploration. Zbl 1314.90041 Simonin, Gilles; Artigues, Christian; Hebrard, Emmanuel; Lopez, Pierre 1 2015 Improving the lower bound of simple tabular reduction. Zbl 1316.90026 Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C. 1 2015 Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039 Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas 1 2015 Graph coloring inequalities from all-different systems. Zbl 1316.90056 Bergman, David; Hooker, J. N. 8 2014 meSAT: multiple encodings of CSP to SAT. Zbl 1316.90049 Stojadinović, Mirko; Marić, Filip 6 2014 A quadratic edge-finding filtering algorithm for cumulative resource constraints. Zbl 1314.90038 Kameugne, Roger; Fotso, Laure Pauline; Scott, Joseph; Ngo-Kateu, Youcheu 5 2014 Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045 Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J. 5 2014 Lightweight dynamic symmetry breaking. Zbl 1338.90269 Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark 4 2014 Explaining circuit propagation. Zbl 1310.05144 Francis, Kathryn Glenn; Stuckey, Peter J. 4 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 Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201 Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves 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 39 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 ...and 226 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,565 Authors 30 Stuckey, Peter James 25 Marques-Silva, João P. 22 Rousseau, Louis-Martin 21 Cooper, Martin C. 21 Živný, Stanislav 17 Van Hentenryck, Pascal 17 Walsh, Toby 16 O’Sullivan, Barry 15 Bessiere, Christian 15 Schaub, Torsten H. 14 Gebser, Martin 14 Hnich, Brahim 14 Ignatyev, Alexey A. 14 Olarte, Carlos 14 Szeider, Stefan 14 Tarim, S. Armagan 13 Cohen, David A. 13 de Givry, Simon 13 Rossi, Roberto 13 Schaus, Pierre 12 Beck, J. Christopher 12 Jeavons, Peter G. 12 Lee, Jimmy Ho-man 11 Hooker, John N. jun. 11 Pesant, Gilles 11 Prestwich, Steven D. 10 Beldiceanu, Nicolas 10 Bortolussi, Luca 10 Ciré, André Augusto 10 Codish, Michael 10 Jonsson, Peter 10 Meisels, Amnon 10 Nightingale, Peter W. 10 Schiex, Thomas 10 Wilson, Nic 9 Artigues, Christian 9 Carlsson, Mats 9 Domes, Ferenc 9 Flener, Pierre 9 Goldsztejn, Alexandre 9 Lecoutre, Christophe 9 Lopez, Pierre 9 Miguel, Ian 9 Quimper, Claude-Guy 9 Solnon, Christine 9 van Hoeve, Willem-Jan 8 Alviano, Mario 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 Lodi, Andrea 8 Meel, Kuldeep S. 8 Milano, Michela 8 Pearson, Justin 8 Régin, Jean-Charles 8 Rossi, Francesca 8 Tack, Guido 8 Wallace, Mark G. 8 Zivan, Roie 7 Bulatov, Andrei A. 7 Codognet, Philippe 7 Deville, Yves 7 Gange, Graeme 7 Gualandi, Stefano 7 Hebrard, Emmanuel 7 Janota, Mikoláš 7 Katsirelos, George 7 Lynce, Inês 7 Michel, Laurent 7 Neumaier, Arnold 7 Ordyniak, Sebastian 7 Pimentel, Elaine 7 Policriti, Alberto 7 Previti, Alessandro 7 Rizzi, Romeo 7 Schockaert, Steven 7 Schrijvers, Tom 7 Sciavicco, Guido 7 Simos, Dimitris E. 7 Vardi, Moshe Ya’akov 7 Zavatteri, Matteo 6 Bogaerts, Bart 6 Boizumault, Patrice 6 Demoen, Bart 6 Desaulniers, Guy 6 Gendron, Bernard 6 Janhunen, Tomi 6 Jefferson, Christopher 6 Kampel, Ludwig 6 Laborie, Philippe 6 Li, Sanjiang 6 Lombardi, Michele 6 Mencía, Carlos 6 Musliu, Nysret 6 Posenato, Roberto 6 Stergiou, Kostas ...and 2,465 more Authors all top 5 Cited in 179 Journals 211 Constraints 147 Artificial Intelligence 81 European Journal of Operational Research 56 Computers & Operations Research 46 Annals of Operations Research 46 Theory and Practice of Logic Programming 39 Theoretical Computer Science 35 Annals of Mathematics and Artificial Intelligence 26 Journal of Global Optimization 25 Discrete Applied Mathematics 22 INFORMS Journal on Computing 18 Journal of Scheduling 17 Information and Computation 17 The Journal of Artificial Intelligence Research (JAIR) 15 International Journal of Approximate Reasoning 13 Journal of Computer and System Sciences 13 Journal of Automated Reasoning 13 Mathematical Programming. Series A. Series B 11 Journal of Heuristics 10 Fuzzy Sets and Systems 10 Information Sciences 9 Machine Learning 9 Journal of Combinatorial Optimization 9 ACM Transactions on Computational Logic 8 Applied Mathematical Modelling 8 Formal Methods in System Design 8 Journal of Satisfiability, Boolean Modeling and Computation 8 SN Operations Research Forum 7 International Transactions in Operational Research 7 Optimization Methods & Software 7 Optimization and Engineering 7 4OR 6 RAIRO. Operations Research 6 Logical Methods in Computer Science 6 Mathematical Programming Computation 5 Acta Informatica 5 Journal of Computational and Applied Mathematics 5 Journal of Optimization Theory and Applications 5 Networks 5 SIAM Journal on Computing 5 Algorithmica 5 Mathematical Problems in Engineering 5 Engineering Optimization 5 Mathematics in Computer Science 4 Applied Mathematics and Computation 4 SIAM Journal on Discrete Mathematics 4 AI Communications 4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 4 Computational Optimization and Applications 4 International Journal of Applied Mathematics and Computer Science 4 CEJOR. Central European Journal of Operations Research 4 OR Spectrum 4 ACM Journal of Experimental Algorithmics 4 EURO Journal on Computational Optimization 4 Journal of Logical and Algebraic Methods in Programming 3 Discrete Mathematics 3 Information Processing Letters 3 Automatica 3 Pattern Recognition 3 Theory of Computing Systems 3 Journal of Discrete Algorithms 3 Fuzzy Optimization and Decision Making 2 Physica A 2 BIT 2 INFOR 2 Journal of Statistical Planning and Inference 2 European Journal of Combinatorics 2 Operations Research Letters 2 International Journal of Production Research 2 Random Structures & Algorithms 2 Cybernetics and Systems Analysis 2 Journal of Computer and Systems Sciences International 2 Journal of Applied Non-Classical Logics 2 Top 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 ACM Transactions on Database Systems 1 Mathematics of Computation 1 Computing 1 International Journal of Game Theory 1 International Journal for Numerical Methods in Engineering 1 Journal of Algebra 1 Journal of Economic Theory ...and 79 more Journals all top 5 Cited in 35 Fields 941 Computer science (68-XX) 712 Operations research, mathematical programming (90-XX) 98 Combinatorics (05-XX) 78 Mathematical logic and foundations (03-XX) 62 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 58 Biology and other natural sciences (92-XX) 43 Numerical analysis (65-XX) 27 Statistics (62-XX) 19 Systems theory; control (93-XX) 13 General algebraic systems (08-XX) 12 Information and communication theory, circuits (94-XX) 11 Calculus of variations and optimal control; optimization (49-XX) 7 Ordinary differential equations (34-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 Commutative algebra (13-XX) 5 Associative rings and algebras (16-XX) 5 Probability theory and stochastic processes (60-XX) 4 Geometry (51-XX) 4 Convex and discrete geometry (52-XX) 4 Quantum theory (81-XX) 3 General and overarching topics; collections (00-XX) 3 Mechanics of particles and systems (70-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 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year