Edit Profile Cohen, David A. Compute Distance To: Compute Author ID: cohen.david-a Published as: Cohen, D.; Cohen, D. A.; Cohen, David; Cohen, David A. Documents Indexed: 90 Publications since 1988, including 2 Books all top 5 Co-Authors 2 single-authored 34 Jeavons, Peter G. 19 Cooper, Martin C. 11 Živný, Stanislav 6 Gyssens, Marc 6 Krokhin, Andrei A. 4 Green, Martin J. 3 Creed, Páidí 2 Carbonnel, Clément 2 Gault, Richard L. 2 Jefferson, Christopher 2 Kaznatcheev, Artem 2 Petrie, Karen E. 2 Smith, Barbara M. 1 Escamocher, Guillaume 1 Houghton, Chris 1 Jonsson, Peter A. 1 Koubarakis, Manolis 1 Marx, Dániel 1 Pearson, Justin 1 Powell, Robert L. 1 Salamon, András Z. 1 Scott, Elizabeth A. 1 Shawe-Taylor, John 1 Wallace, Mark T. all top 5 Serials 5 Artificial Intelligence 5 Constraints 3 The Journal of Artificial Intelligence Research (JAIR) 2 Discrete Applied Mathematics 2 Journal of Computer and System Sciences 2 Theoretical Computer Science 2 Journal of the ACM 1 IEEE Transactions on Information Theory 1 Information Processing Letters 1 SIAM Journal on Computing 1 Operations Research Letters 1 Algorithmica 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Annals of Mathematics and Artificial Intelligence all top 5 Fields 43 Computer science (68-XX) 8 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 1 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 75 Publications have been cited 855 times in 530 Documents Cited by ▼ Year ▼ Closure properties of constraints. Zbl 0890.68064Jeavons, Peter; Cohen, David; Gyssens, Marc 102 1997 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 53 1998 Conservation of energy, momentum and actions in numerical discretizations of non-linear wave equations. Zbl 1163.65066Cohen, David; Hairer, Ernst; Lubich, Christian 41 2008 Linear energy-preserving integrators for Poisson systems. Zbl 1216.65175Cohen, David; Hairer, Ernst 39 2011 Symmetric exponential integrators with an application to the cubic Schrödinger equation. Zbl 1147.65102Celledoni, Elena; Cohen, David; Owren, Brynjulf 32 2008 Multi-symplectic integration of the Camassa-Holm equation. Zbl 1148.65093Cohen, David; Owren, Brynjulf; Raynaud, Xavier 32 2008 The complexity of soft constraint satisfaction. Zbl 1131.68520Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A. 31 2006 Decomposing constraint satisfaction problems using database techniques. Zbl 0803.68090Gyssens, Marc; Jeavons, Peter G.; Cohen, David A. 30 1994 Numerical integrators for highly oscillatory Hamiltonian systems: a review. Zbl 1367.65191Cohen, David; Jahnke, Tobias; Lorenz, Katina; Lubich, Christian 24 2006 Numerical energy conservation for multi-frequency oscillatory differential equations. Zbl 1083.65117Cohen, D.; Hairer, E.; Lubich, Ch. 24 2005 Long-time analysis of nonlinearly perturbed wave equations via modulated Fourier expansions. Zbl 1145.35087Cohen, David; Hairer, Ernst; Lubich, Christian 23 2008 Characterising tractable constraints. Zbl 0803.68053Cooper, Martin C.; Cohen, David A.; Jeavons, Peter G. 23 1994 A unified theory of structural tractability for constraint satisfaction problems. Zbl 1151.68640Cohen, David; Jeavons, Peter; Gyssens, Marc 20 2008 Building tractable disjunctive constraints. Zbl 1320.68169Cohen, David; Jeavons, Peter; Jonsson, Peter; Koubarakis, Manolis 19 2000 Full discretization of semilinear stochastic wave equations driven by multiplicative noise. Zbl 1336.65008Anton, Rikard; Cohen, David; Larsson, Stig; Wang, Xiaojie 16 2016 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 16 2013 On the numerical discretisation of stochastic oscillators. Zbl 1246.65012Cohen, David 16 2012 Modulated Fourier expansions of highly oscillatory differential equations. Zbl 1056.34005Cohen, David; Hairer, Ernst; Lubich, Christian 16 2003 A trigonometric method for the linear stochastic wave equation. Zbl 1273.65010Cohen, David; Larsson, Stig; Sigg, Magdalena 15 2013 High weak order methods for stochastic differential equations based on modified equations. Zbl 1246.65008Abdulle, Assyr; Cohen, David; Vilmart, Gilles; Zygalakis, Konstantinos C. 15 2012 A maximal tractable class of soft constraints. Zbl 1080.68658Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 15 2004 One-stage exponential integrators for nonlinear Schrödinger equations over long times. Zbl 1257.65055Cohen, David; Gauckler, Ludwig 14 2012 The expressive power of binary submodular functions. Zbl 1229.90093Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 13 2009 Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Zbl 1154.90011Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 13 2008 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 12 2006 Constraints and universal algebra. Zbl 0930.68143Jeavons, Peter; Cohen, David; Pearson, Justin 12 1998 Energy-preserving integrators for stochastic Poisson systems. Zbl 1310.60074Cohen, David; Dujardin, Guillaume 11 2014 An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 11 2006 Conservation properties of numerical integrators for highly oscillatory Hamiltonian systems. Zbl 1122.65126Cohen, David 9 2006 Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 9 2005 A fully discrete approximation of the one-dimensional stochastic wave equation. Zbl 1350.65004Cohen, David; Quer-Sardanyons, Lluís 8 2016 The tractability of CSP classes defined by forbidden patterns. Zbl 1253.68296Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Marx, Dániel; Salamon, András Z. 8 2012 Convergence analysis of trigonometric methods for stiff second-order stochastic differential equations. Zbl 1247.65004Cohen, David; Sigg, Magdalena 8 2012 Drift-preserving numerical integrators for stochastic Hamiltonian systems. Zbl 07188447Chen, Chuchu; Cohen, David; D’Ambrosio, Raffaele; Lang, Annika 6 2020 Long-term analysis of numerical integrators for oscillatory Hamiltonian systems under minimal non-resonance conditions. Zbl 1331.65171Cohen, David; Gauckler, Ludwig; Hairer, Ernst; Lubich, Christian 6 2015 Iterative plan construction for the workflow satisfiability problem. Zbl 1315.68145Cohen, David; Crampton, Jason; Gagarin, Andrei; Gutin, Gregory; Jones, Mark 6 2014 Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 6 2005 Analysis and numerical treatment of highly oscillatory differential equations. Zbl 1144.37447Cohen, David 6 2004 Exponential integrators for stochastic Schrödinger equations driven by Itô noise. Zbl 1413.65006Anton, Rikard; Cohen, David 5 2018 Weak second order explicit exponential Runge-Kutta methods for stochastic differential equations. Zbl 1387.65064Komori, Yoshio; Cohen, David; Burrage, Kevin 5 2017 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 5 2015 Engineering algorithms for workflow satisfiability problem with user-independent constraints. Zbl 1407.68448Cohen, David; Crampton, Jason; Gagarin, Andrei; Gutin, Gregory; Jones, Mark 5 2014 Geometric finite difference schemes for the generalized hyperelastic-rod wave equation. Zbl 1350.74026Cohen, David; Raynaud, Xavier 5 2011 A new class of binary CSPs for which arc-consistency is a decision procedure. Zbl 1273.68341Cohen, David A. 5 2003 How to determine the expressive power of constraints. Zbl 0951.68190Jeavons, Peter; Cohen, David; Gyssens, Marc 5 1999 Geometric numerical integrators for Hunter-Saxton-like equations. Zbl 1379.37140Miyatake, Yuto; Cohen, David; Furihata, Daisuke; Matsuo, Takayasu 4 2017 Conservative methods for stochastic differential equations with a conserved quantity. Zbl 1344.60066Chen, Chuchu; Cohen, David; Hong, Jialin 4 2016 Domain permutation reduction for constraint satisfaction problems. Zbl 1183.68309Green, Martin J.; Cohen, David A. 4 2008 Dickson polynomial permutations. Zbl 1211.11134Cipu, Mihai; Cohen, D. 4 2008 A complete characterization of complexity for Boolean constraint optimization problems. Zbl 1152.68549Cohen, David; Cooper, Martin; Jeavons, Peter 4 2004 Tractable decision for a constraint language implies tractable search. Zbl 1074.68061Cohen, D. A. 4 2004 Exponential integrators for nonlinear Schrödinger equations with white noise dispersion. Zbl 1386.65036Cohen, David; Dujardin, Guillaume 3 2017 Algorithms for the workflow satisfiability problem engineered for counting constraints. Zbl 1354.90105Cohen, D.; Crampton, J.; Gagarin, A.; Gutin, G.; Jones, M. 3 2016 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 3 2011 Typed guarded decompositions for constraint satisfaction. Zbl 1160.68541Cohen, David A.; Green, Martin J. 3 2006 The power of propagation: when GAC is enough. Zbl 1387.90130Cohen, David A.; Jeavons, Peter G. 2 2017 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 Tractability by approximating constraint languages. Zbl 1273.68146Green, Martin J.; Cohen, David A. 2 2003 Soft constraints: complexity and multimorphisms. Zbl 1273.68342Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 2 2003 Steepest ascent can be exponential in bounded treewidth problems. Zbl 07204101Cohen, David A.; Cooper, Martin C.; Kaznatcheev, Artem; Wallace, Mark 1 2020 A counterexample to the easy direction of the geometric Gersten conjecture. Zbl 07020374Cohen, David 1 2019 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 1 2019 Binarisation for valued constraint satisfaction problems. Zbl 06797248Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 1 2017 High order numerical methods for highly oscillatory problems. Zbl 1317.34137Cohen, David; Schweitzer, Julia 1 2015 A multi-symplectic numerical integrator for the two-component Camassa-Holm Equation. Zbl 1420.35289Cohen, David; Matsuo, Takayasu; Raynaud, Xavier 1 2014 Convergent numerical schemes for the compressible hyperelastic rod wave equation. Zbl 1323.65093Cohen, David; Raynaud, Xavier 1 2012 The expressive power of binary submodular functions. Zbl 1250.68122Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 The effect of constraint representation on structural tractability. Zbl 1160.68550Houghton, Chris; Cohen, David; Green, Martin J. 1 2006 New tractable classes from old. Zbl 1057.68113Cohen, David; Jeavons, Peter; Gault, Richard 1 2003 Driven chaotic mesoscopic systems, dissipation and decoherence. Zbl 1057.70013Cohen, D. 1 2002 New tractable classes from old. Zbl 1044.68747Cohen, David; Jeavons, Peter; Gault, Richard 1 2000 When constraints are easy to satisfy. Zbl 0874.68086Jeavons, P.; Cohen, D.; Cooper, M. 1 1997 Derivation of constraints and database relations. Zbl 0895.68032Cohen, David; Gyssens, Marc; Jeavons, Peter 1 1996 Rationality of division orderings. Zbl 0764.68150Cohen, D. A.; Scott, E. A. 1 1992 Calculation of stresses in stiffened composite panels. Zbl 0665.73050Hyer, M. W.; Cohen, David 1 1988 Drift-preserving numerical integrators for stochastic Hamiltonian systems. Zbl 07188447Chen, Chuchu; Cohen, David; D’Ambrosio, Raffaele; Lang, Annika 6 2020 Steepest ascent can be exponential in bounded treewidth problems. Zbl 07204101Cohen, David A.; Cooper, Martin C.; Kaznatcheev, Artem; Wallace, Mark 1 2020 A counterexample to the easy direction of the geometric Gersten conjecture. Zbl 07020374Cohen, David 1 2019 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 1 2019 Exponential integrators for stochastic Schrödinger equations driven by Itô noise. Zbl 1413.65006Anton, Rikard; Cohen, David 5 2018 Weak second order explicit exponential Runge-Kutta methods for stochastic differential equations. Zbl 1387.65064Komori, Yoshio; Cohen, David; Burrage, Kevin 5 2017 Geometric numerical integrators for Hunter-Saxton-like equations. Zbl 1379.37140Miyatake, Yuto; Cohen, David; Furihata, Daisuke; Matsuo, Takayasu 4 2017 Exponential integrators for nonlinear Schrödinger equations with white noise dispersion. Zbl 1386.65036Cohen, David; Dujardin, Guillaume 3 2017 The power of propagation: when GAC is enough. Zbl 1387.90130Cohen, David A.; Jeavons, Peter G. 2 2017 Binarisation for valued constraint satisfaction problems. Zbl 06797248Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 1 2017 Full discretization of semilinear stochastic wave equations driven by multiplicative noise. Zbl 1336.65008Anton, Rikard; Cohen, David; Larsson, Stig; Wang, Xiaojie 16 2016 A fully discrete approximation of the one-dimensional stochastic wave equation. Zbl 1350.65004Cohen, David; Quer-Sardanyons, Lluís 8 2016 Conservative methods for stochastic differential equations with a conserved quantity. Zbl 1344.60066Chen, Chuchu; Cohen, David; Hong, Jialin 4 2016 Algorithms for the workflow satisfiability problem engineered for counting constraints. Zbl 1354.90105Cohen, D.; Crampton, J.; Gagarin, A.; Gutin, G.; Jones, M. 3 2016 Long-term analysis of numerical integrators for oscillatory Hamiltonian systems under minimal non-resonance conditions. Zbl 1331.65171Cohen, David; Gauckler, Ludwig; Hairer, Ernst; Lubich, Christian 6 2015 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 5 2015 High order numerical methods for highly oscillatory problems. Zbl 1317.34137Cohen, David; Schweitzer, Julia 1 2015 Energy-preserving integrators for stochastic Poisson systems. Zbl 1310.60074Cohen, David; Dujardin, Guillaume 11 2014 Iterative plan construction for the workflow satisfiability problem. Zbl 1315.68145Cohen, David; Crampton, Jason; Gagarin, Andrei; Gutin, Gregory; Jones, Mark 6 2014 Engineering algorithms for workflow satisfiability problem with user-independent constraints. Zbl 1407.68448Cohen, David; Crampton, Jason; Gagarin, Andrei; Gutin, Gregory; Jones, Mark 5 2014 A multi-symplectic numerical integrator for the two-component Camassa-Holm Equation. Zbl 1420.35289Cohen, David; Matsuo, Takayasu; Raynaud, Xavier 1 2014 An algebraic theory of complexity for discrete optimization. Zbl 1305.08007Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 16 2013 A trigonometric method for the linear stochastic wave equation. Zbl 1273.65010Cohen, David; Larsson, Stig; Sigg, Magdalena 15 2013 On the numerical discretisation of stochastic oscillators. Zbl 1246.65012Cohen, David 16 2012 High weak order methods for stochastic differential equations based on modified equations. Zbl 1246.65008Abdulle, Assyr; Cohen, David; Vilmart, Gilles; Zygalakis, Konstantinos C. 15 2012 One-stage exponential integrators for nonlinear Schrödinger equations over long times. Zbl 1257.65055Cohen, David; Gauckler, Ludwig 14 2012 The tractability of CSP classes defined by forbidden patterns. Zbl 1253.68296Cohen, David A.; Cooper, Martin C.; Creed, Páidí; Marx, Dániel; Salamon, András Z. 8 2012 Convergence analysis of trigonometric methods for stiff second-order stochastic differential equations. Zbl 1247.65004Cohen, David; Sigg, Magdalena 8 2012 Convergent numerical schemes for the compressible hyperelastic rod wave equation. Zbl 1323.65093Cohen, David; Raynaud, Xavier 1 2012 Linear energy-preserving integrators for Poisson systems. Zbl 1216.65175Cohen, David; Hairer, Ernst 39 2011 Geometric finite difference schemes for the generalized hyperelastic-rod wave equation. Zbl 1350.74026Cohen, David; Raynaud, Xavier 5 2011 An algebraic theory of complexity for valued constraints: establishing a Galois connection. Zbl 1343.68106Cohen, David A.; Creed, Páidí; Jeavons, Peter G.; Živný, Stanislav 3 2011 The expressive power of binary submodular functions. Zbl 1229.90093Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 13 2009 The expressive power of binary submodular functions. Zbl 1250.68122Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 Conservation of energy, momentum and actions in numerical discretizations of non-linear wave equations. Zbl 1163.65066Cohen, David; Hairer, Ernst; Lubich, Christian 41 2008 Symmetric exponential integrators with an application to the cubic Schrödinger equation. Zbl 1147.65102Celledoni, Elena; Cohen, David; Owren, Brynjulf 32 2008 Multi-symplectic integration of the Camassa-Holm equation. Zbl 1148.65093Cohen, David; Owren, Brynjulf; Raynaud, Xavier 32 2008 Long-time analysis of nonlinearly perturbed wave equations via modulated Fourier expansions. Zbl 1145.35087Cohen, David; Hairer, Ernst; Lubich, Christian 23 2008 A unified theory of structural tractability for constraint satisfaction problems. Zbl 1151.68640Cohen, David; Jeavons, Peter; Gyssens, Marc 20 2008 Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Zbl 1154.90011Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 13 2008 Domain permutation reduction for constraint satisfaction problems. Zbl 1183.68309Green, Martin J.; Cohen, David A. 4 2008 Dickson polynomial permutations. Zbl 1211.11134Cipu, Mihai; Cohen, D. 4 2008 The expressive power of valued constraints: Hierarchies and collapses. Zbl 1157.68061Cohen, David A.; Jeavons, Peter G.; Živný, Stanislav 2 2008 The complexity of soft constraint satisfaction. Zbl 1131.68520Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A. 31 2006 Numerical integrators for highly oscillatory Hamiltonian systems: a review. Zbl 1367.65191Cohen, David; Jahnke, Tobias; Lorenz, Katina; Lubich, Christian 24 2006 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 12 2006 An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 11 2006 Conservation properties of numerical integrators for highly oscillatory Hamiltonian systems. Zbl 1122.65126Cohen, David 9 2006 Typed guarded decompositions for constraint satisfaction. Zbl 1160.68541Cohen, David A.; Green, Martin J. 3 2006 The effect of constraint representation on structural tractability. Zbl 1160.68550Houghton, Chris; Cohen, David; Green, Martin J. 1 2006 Numerical energy conservation for multi-frequency oscillatory differential equations. Zbl 1083.65117Cohen, D.; Hairer, E.; Lubich, Ch. 24 2005 Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 9 2005 Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 6 2005 A maximal tractable class of soft constraints. Zbl 1080.68658Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 15 2004 Analysis and numerical treatment of highly oscillatory differential equations. Zbl 1144.37447Cohen, David 6 2004 A complete characterization of complexity for Boolean constraint optimization problems. Zbl 1152.68549Cohen, David; Cooper, Martin; Jeavons, Peter 4 2004 Tractable decision for a constraint language implies tractable search. Zbl 1074.68061Cohen, D. A. 4 2004 Modulated Fourier expansions of highly oscillatory differential equations. Zbl 1056.34005Cohen, David; Hairer, Ernst; Lubich, Christian 16 2003 A new class of binary CSPs for which arc-consistency is a decision procedure. Zbl 1273.68341Cohen, David A. 5 2003 Tractability by approximating constraint languages. Zbl 1273.68146Green, Martin J.; Cohen, David A. 2 2003 Soft constraints: complexity and multimorphisms. Zbl 1273.68342Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 2 2003 New tractable classes from old. Zbl 1057.68113Cohen, David; Jeavons, Peter; Gault, Richard 1 2003 Driven chaotic mesoscopic systems, dissipation and decoherence. Zbl 1057.70013Cohen, D. 1 2002 Building tractable disjunctive constraints. Zbl 1320.68169Cohen, David; Jeavons, Peter; Jonsson, Peter; Koubarakis, Manolis 19 2000 New tractable classes from old. Zbl 1044.68747Cohen, David; Jeavons, Peter; Gault, Richard 1 2000 How to determine the expressive power of constraints. Zbl 0951.68190Jeavons, Peter; Cohen, David; Gyssens, Marc 5 1999 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 53 1998 Constraints and universal algebra. Zbl 0930.68143Jeavons, Peter; Cohen, David; Pearson, Justin 12 1998 Closure properties of constraints. Zbl 0890.68064Jeavons, Peter; Cohen, David; Gyssens, Marc 102 1997 When constraints are easy to satisfy. Zbl 0874.68086Jeavons, P.; Cohen, D.; Cooper, M. 1 1997 Derivation of constraints and database relations. Zbl 0895.68032Cohen, David; Gyssens, Marc; Jeavons, Peter 1 1996 Decomposing constraint satisfaction problems using database techniques. Zbl 0803.68090Gyssens, Marc; Jeavons, Peter G.; Cohen, David A. 30 1994 Characterising tractable constraints. Zbl 0803.68053Cooper, Martin C.; Cohen, David A.; Jeavons, Peter G. 23 1994 Rationality of division orderings. Zbl 0764.68150Cohen, D. A.; Scott, E. A. 1 1992 Calculation of stresses in stiffened composite panels. Zbl 0665.73050Hyer, M. W.; Cohen, David 1 1988 all cited Publications top 5 cited Publications all top 5 Cited by 660 Authors 28 Wu, Xinyuan 24 Wang, Bin 22 Cohen, David A. 20 Cooper, Martin C. 20 Živný, Stanislav 19 Jeavons, Peter G. 15 Bulatov, Andrei A. 15 Lubich, Christian 13 Jonsson, Peter A. 13 Krokhin, Andrei A. 12 Gauckler, Ludwig J. 12 Hairer, Ernst 12 Hong, Jialin 12 Scarcello, Francesco 11 Bodirsky, Manuel 10 Chen, Hubie 9 Dalmau, Víctor 9 Faou, Erwan 9 Greco, Gianluigi 8 Gottlob, Georg 8 Gutin, Gregory Z. 8 Schratz, Katharina 7 Brugnano, Luigi 7 D’Ambrosio, Raffaele 7 Matsuo, Takayasu 7 Wang, Xiaojie 7 Wang, Yushun 6 Creignou, Nadia 6 Iserles, Arieh 6 Liu, Changying 6 Miyatake, Yuto 6 Zhang, Zhiyue 6 Zhao, Xiaofei 5 Barto, Libor 5 Celledoni, Elena 5 Dujardin, Guillaume Michel 5 Gong, Yuezheng 5 Iavernaro, Felice 5 Kozik, Marcin 5 Owren, Brynjulf 5 Sheu, Tony Wen-Hann 5 Thapper, Johan 5 Xie, Jianqiang 4 Bao, Weizhu 4 Cohen, David W. 4 Condon, Marissa 4 Cui, Jianbo 4 Ding, Xiaohua 4 Garcia de la Banda, Maria 4 Grébert, Benoît 4 Jiang, Chaolong 4 Kolmogorov, Vladimir 4 Larose, Benoit 4 Leone, Nicola 4 Ma, Qiang 4 Martin, Barnaby D. 4 Mears, Christopher 4 Mei, Lijie 4 Mengel, Stefan 4 Montijano, Juan Ignacio 4 Nordh, Gustav 4 Rández, Luis 4 Raynaud, Xavier 4 Sun, Liying 4 Wahlström, Magnus 3 Bauland, Michael 3 Bova, Simone 3 Cai, Jiaxiang 3 Cai, Wenjun 3 Calvo, Manuel 3 Cano, Begoña 3 Chen, Chuchu 3 Chiu, Pao-Hsiung 3 Cohen, David Bruce 3 Cohen, David S. 3 Deaño, Alfredo 3 Debrabant, Kristian 3 Di Giovacchino, Stefano 3 Durand, Arnaud 3 Eidnes, Sølve 3 El Mouelhi, Achref 3 Escamocher, Guillaume 3 Fulla, Peter 3 Furihata, Daisuke 3 Goldberg, Leslie Ann 3 Grimm, Volker 3 Hell, Pavol 3 Hermann, Miki 3 Hermann, Miki 3 Kolaitis, Phokion G. 3 Kvaerno, Anne 3 Lagerkvist, Victor 3 Larsson, Stig 3 Li, Xiuyan 3 Moore, Brian E. 3 Mottet, Antoine 3 Nešetřil, Jaroslav 3 Pinsker, Michael 3 Rafiey, Arash 3 Salzer, Gernot ...and 560 more Authors all top 5 Cited in 123 Serials 28 Artificial Intelligence 28 Journal of Computational Physics 23 BIT 21 Journal of Computational and Applied Mathematics 21 Constraints 19 Journal of Computer and System Sciences 19 Theoretical Computer Science 19 Applied Numerical Mathematics 15 Numerische Mathematik 12 SIAM Journal on Numerical Analysis 11 Discrete Applied Mathematics 11 Theory of Computing Systems 10 Applied Mathematics and Computation 10 SIAM Journal on Computing 10 Journal of Scientific Computing 10 Numerical Algorithms 9 European Journal of Combinatorics 9 Information and Computation 9 Foundations of Computational Mathematics 8 Algebra Universalis 8 Annals of Mathematics and Artificial Intelligence 7 Communications in Nonlinear Science and Numerical Simulation 6 Applied Mathematics Letters 6 SIAM Journal on Scientific Computing 6 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis 5 Computers & Mathematics with Applications 5 Calcolo 4 Mathematics of Computation 4 Finite Fields and their Applications 4 Advances in Computational Mathematics 3 Computer Physics Communications 3 Discrete Mathematics 3 Information Processing Letters 3 Journal of Mathematical Analysis and Applications 3 Information Sciences 3 Algorithmica 3 Numerical Methods for Partial Differential Equations 3 Japan Journal of Industrial and Applied Mathematics 3 Communications in Partial Differential Equations 3 International Journal of Computer Mathematics 3 Mathematical Programming. Series A. Series B 3 Discrete and Continuous Dynamical Systems 3 Journal of Combinatorial Optimization 3 Multiscale Modeling & Simulation 3 Stochastic and Partial Differential Equations. Analysis and Computations 2 Archive for Rational Mechanics and Analysis 2 Journal of Differential Equations 2 Mathematics and Computers in Simulation 2 SIAM Journal on Discrete Mathematics 2 International Journal of Algebra and Computation 2 Discrete Mathematics and Applications 2 Computational and Applied Mathematics 2 Journal of the ACM 2 Discrete and Continuous Dynamical Systems. Series B 2 ACM Transactions on Computational Logic 2 Advances in Difference Equations 2 Logical Methods in Computer Science 2 Forum of Mathematics, Sigma 2 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Communications in Mathematical Physics 1 Journal of Mathematical Physics 1 Mathematical Methods in the Applied Sciences 1 Chaos, Solitons and Fractals 1 Fuzzy Sets and Systems 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series B 1 Journal of Mathematical Economics 1 The Journal of Symbolic Logic 1 Mathematica Slovaca 1 Mechanics Research Communications 1 Proceedings of the American Mathematical Society 1 Systems & Control Letters 1 Mathematical Social Sciences 1 Statistics & Probability Letters 1 Operations Research Letters 1 Physica D 1 Acta Mathematicae Applicatae Sinica. English Series 1 Computers & Operations Research 1 Forum Mathematicum 1 Sugaku Expositions 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Applied Mathematical Modelling 1 European Journal of Operational Research 1 Linear Algebra and its Applications 1 Pattern Recognition 1 Proceedings of the National Academy of Sciences of the United States of America 1 Journal of Nonlinear Science 1 Cybernetics and Systems Analysis 1 Computational Complexity 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 ETNA. Electronic Transactions on Numerical Analysis 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Bulletin of Symbolic Logic 1 Taiwanese Journal of Mathematics 1 Journal of Scheduling 1 Journal of Graph Algorithms and Applications 1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik 1 RAIRO. Operations Research 1 Journal of Nonlinear Mathematical Physics ...and 23 more Serials all top 5 Cited in 36 Fields 242 Numerical analysis (65-XX) 189 Computer science (68-XX) 121 Partial differential equations (35-XX) 73 Dynamical systems and ergodic theory (37-XX) 61 Probability theory and stochastic processes (60-XX) 53 Operations research, mathematical programming (90-XX) 44 Ordinary differential equations (34-XX) 40 General algebraic systems (08-XX) 36 Combinatorics (05-XX) 33 Mathematical logic and foundations (03-XX) 13 Fluid mechanics (76-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Mechanics of particles and systems (70-XX) 10 Optics, electromagnetic theory (78-XX) 9 Quantum theory (81-XX) 9 Statistical mechanics, structure of matter (82-XX) 5 Number theory (11-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 4 Group theory and generalizations (20-XX) 4 Mechanics of deformable solids (74-XX) 3 Topological groups, Lie groups (22-XX) 3 Approximations and expansions (41-XX) 3 Integral equations (45-XX) 2 Algebraic geometry (14-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Geophysics (86-XX) 1 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Biology and other natural sciences (92-XX) Citations by Year