Edit Profile (opens in new tab) Cohen, David A. Compute Distance To: Compute Author ID: cohen.david-a Published as: Cohen, David A.; Cohen, David; Cohen, D. A.; Cohen, D. Documents Indexed: 94 Publications since 1988, including 1 Book 1 Contribution as Editor Co-Authors: 21 Co-Authors with 45 Joint Publications 363 Co-Co-Authors all top 5 Co-Authors 10 single-authored 35 Jeavons, Peter G. 20 Cooper, Martin C. 12 Živný, Stanislav 6 Gyssens, Marc 6 Hairer, Ernst 6 Krokhin, Andrei A. 6 Lubich, Christian 4 Crampton, Jason 4 Green, Martin J. 4 Gutin, Gregory Z. 4 Raynaud, Xavier 3 Anton, Rikard 3 Creed, Páidí 3 Dujardin, Guillaume Michel 3 Gagarin, Andrei 2 Carbonnel, Clément 2 Chen, Chuchu 2 Gauckler, Ludwig J. 2 Gault, Richard L. 2 Hong, Jialin 2 Jefferson, Christopher 2 Kaznatcheev, Artem 2 Larsson, Stig 2 Matsuo, Takayasu 2 Owren, Brynjulf 2 Petrie, Karen E. 2 Quer-Sardanyons, Lluís 2 Sigg, Magdalena 2 Smith, Barbara M. 2 Vilmart, Gilles 1 Abdulle, Assyr 1 Berg, André 1 Bréhier, Charles-Edouard 1 Burrage, Kevin 1 Celledoni, Elena 1 Cipu, Mihai 1 Cohen, Deborah 1 Cui, Jianbo 1 D’Ambrosio, Raffaele 1 Debrabant, Kristian 1 Eldar, Yonina Chana 1 Escamocher, Guillaume 1 Furihata, Daisuke 1 Haimovich, Alexander M. 1 Houghton, Chris 1 Jahnke, Tobias 1 Jonsson, Peter A. 1 Komori, Yoshio 1 Koubarakis, Manolis 1 Lang, Annika 1 Lorenz, Katina 1 Marx, Dániel 1 Miyatake, Yuto 1 Pearson, Justin 1 Rößler, Andreas 1 Salamon, András Z. 1 Schweitzer, Julia 1 Scott, Elizabeth A. 1 Sun, Liying 1 Verdier, Olivier 1 Wahlström, Magnus 1 Wang, Xiaojie 1 Zygalakis, Konstantinos C. all top 5 Serials 5 Artificial Intelligence 5 Constraints 4 BIT 4 The Journal of Artificial Intelligence Research (JAIR) 3 IMA Journal of Numerical Analysis 3 Numerische Mathematik 3 SIAM Journal on Scientific Computing 2 Discrete Applied Mathematics 2 Journal of Computational Physics 2 Journal of Computer and System Sciences 2 SIAM Journal on Numerical Analysis 2 Theoretical Computer Science 2 Journal of the ACM 2 Foundations of Computational Mathematics 1 AIAA Journal 1 Archive for Rational Mechanics and Analysis 1 IEEE Transactions on Information Theory 1 Information Processing Letters 1 Journal of Computational and Applied Mathematics 1 Mathematics and Computers in Simulation 1 Pacific Journal of Mathematics 1 SIAM Journal on Computing 1 Operations Research Letters 1 Journal of Computational Mathematics 1 Applied Numerical Mathematics 1 Algorithmica 1 Information and Computation 1 SIAM Journal on Discrete Mathematics 1 Journal of Scientific Computing 1 Japan Journal of Industrial and Applied Mathematics 1 IEEE Transactions on Signal Processing 1 International Journal of Computer Mathematics 1 Advances in Computational Mathematics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Combinatorial Optimization 1 Journal of Nonlinear Mathematical Physics 1 Communications in Mathematical Sciences 1 International Journal of Numerical Analysis and Modeling 1 European Series in Applied and Industrial Mathematics (ESAIM): Mathematical Modelling and Numerical Analysis 1 Lecture Notes in Computer Science 1 Stochastic and Partial Differential Equations. Analysis and Computations 1 SIAM/ASA Journal on Uncertainty Quantification 1 European Mathematical Society Magazine all top 5 Fields 47 Computer science (68-XX) 34 Numerical analysis (65-XX) 17 Probability theory and stochastic processes (60-XX) 16 Partial differential equations (35-XX) 13 Dynamical systems and ergodic theory (37-XX) 11 Operations research, mathematical programming (90-XX) 6 Ordinary differential equations (34-XX) 4 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Mechanics of particles and systems (70-XX) 3 Mechanics of deformable solids (74-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 77 Publications have been cited 1,006 times in 268 Documents Cited by ▼ Year ▼ Closure properties of constraints. Zbl 0890.68064Jeavons, Peter; Cohen, David; Gyssens, Marc 114 1997 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 59 1998 Linear energy-preserving integrators for Poisson systems. Zbl 1216.65175Cohen, David; Hairer, Ernst 53 2011 Conservation of energy, momentum and actions in numerical discretizations of non-linear wave equations. Zbl 1163.65066Cohen, David; Hairer, Ernst; Lubich, Christian 49 2008 Symmetric exponential integrators with an application to the cubic Schrödinger equation. Zbl 1147.65102Celledoni, Elena; Cohen, David; Owren, Brynjulf 45 2008 Multi-symplectic integration of the Camassa-Holm equation. Zbl 1148.65093Cohen, David; Owren, Brynjulf; Raynaud, Xavier 36 2008 The complexity of soft constraint satisfaction. Zbl 1131.68520Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A. 32 2006 Decomposing constraint satisfaction problems using database techniques. Zbl 0803.68090Gyssens, Marc; Jeavons, Peter G.; Cohen, David A. 30 1994 Numerical energy conservation for multi-frequency oscillatory differential equations. Zbl 1083.65117Cohen, D.; Hairer, E.; Lubich, Ch. 28 2005 Long-time analysis of nonlinearly perturbed wave equations via modulated Fourier expansions. Zbl 1145.35087Cohen, David; Hairer, Ernst; Lubich, Christian 27 2008 Numerical integrators for highly oscillatory Hamiltonian systems: a review. Zbl 1367.65191Cohen, David; Jahnke, Tobias; Lorenz, Katina; Lubich, Christian 27 2006 Characterising tractable constraints. Zbl 0803.68053Cooper, Martin C.; Cohen, David A.; Jeavons, Peter G. 23 1994 One-stage exponential integrators for nonlinear Schrödinger equations over long times. Zbl 1257.65055Cohen, David; Gauckler, Ludwig 21 2012 Energy-preserving integrators for stochastic Poisson systems. Zbl 1310.60074Cohen, David; Dujardin, Guillaume 20 2014 Full discretization of semilinear stochastic wave equations driven by multiplicative noise. Zbl 1336.65008Anton, Rikard; Cohen, David; Larsson, Stig; Wang, Xiaojie 20 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 20 2013 A unified theory of structural tractability for constraint satisfaction problems. Zbl 1151.68640Cohen, David; Jeavons, Peter; Gyssens, Marc 20 2008 On the numerical discretisation of stochastic oscillators. Zbl 1246.65012Cohen, David 20 2012 Modulated Fourier expansions of highly oscillatory differential equations. Zbl 1056.34005Cohen, David; Hairer, Ernst; Lubich, Christian 20 2003 Building tractable disjunctive constraints. Zbl 1320.68169Cohen, David; Jeavons, Peter; Jonsson, Peter; Koubarakis, Manolis 19 2000 A trigonometric method for the linear stochastic wave equation. Zbl 1273.65010Cohen, David; Larsson, Stig; Sigg, Magdalena 19 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 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 15 2006 Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms. Zbl 1154.90011Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 14 2008 The expressive power of binary submodular functions. Zbl 1229.90093Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 13 2009 Constraints and universal algebra. Zbl 0930.68143Jeavons, Peter; Cohen, David; Pearson, Justin 12 1998 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. 11 2012 A fully discrete approximation of the one-dimensional stochastic wave equation. Zbl 1350.65004Cohen, David; Quer-Sardanyons, Lluís 11 2016 Convergence analysis of trigonometric methods for stiff second-order stochastic differential equations. Zbl 1247.65004Cohen, David; Sigg, Magdalena 11 2012 Conservation properties of numerical integrators for highly oscillatory Hamiltonian systems. Zbl 1122.65126Cohen, David 10 2006 Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 10 2005 An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 10 2006 Drift-preserving numerical integrators for stochastic Hamiltonian systems. Zbl 07188447Chen, Chuchu; Cohen, David; D’Ambrosio, Raffaele; Lang, Annika 10 2020 Weak second order explicit exponential Runge-Kutta methods for stochastic differential equations. Zbl 1387.65064Komori, Yoshio; Cohen, David; Burrage, Kevin 8 2017 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 8 2015 Geometric finite difference schemes for the generalized hyperelastic-rod wave equation. Zbl 1350.74026Cohen, David; Raynaud, Xavier 7 2011 Exponential integrators for nonlinear Schrödinger equations with white noise dispersion. Zbl 1386.65036Cohen, David; Dujardin, Guillaume 7 2017 Exponential integrators for stochastic Schrödinger equations driven by Itô noise. Zbl 1413.65006Anton, Rikard; Cohen, David 7 2018 A new class of binary CSPs for which arc-consistency is a decision procedure. Zbl 1273.68341Cohen, David A. 6 2003 Iterative plan construction for the workflow satisfiability problem. Zbl 1315.68145Cohen, David; Crampton, Jason; Gagarin, Andrei; Gutin, Gregory; Jones, Mark 6 2014 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 6 2015 Analysis and numerical treatment of highly oscillatory differential equations. Zbl 1144.37447Cohen, David 6 2004 Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 6 2005 How to determine the expressive power of constraints. Zbl 0951.68190Jeavons, Peter; Cohen, David; Gyssens, Marc 6 1999 Domain permutation reduction for constraint satisfaction problems. Zbl 1183.68309Green, Martin J.; Cohen, David A. 6 2008 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 numerical integrators for Hunter-Saxton-like equations. Zbl 1379.37140Miyatake, Yuto; Cohen, David; Furihata, Daisuke; Matsuo, Takayasu 4 2017 A complete characterization of complexity for Boolean constraint optimization problems. Zbl 1152.68549Cohen, David; Cooper, Martin; Jeavons, Peter 4 2004 Conservative methods for stochastic differential equations with a conserved quantity. Zbl 1344.60066Chen, Chuchu; Cohen, David; Hong, Jialin 4 2016 Tractable decision for a constraint language implies tractable search. Zbl 1074.68061Cohen, D. A. 4 2004 Dickson polynomial permutations. Zbl 1211.11134Cipu, Mihai; Cohen, D. 4 2008 Algorithms for the workflow satisfiability problem engineered for counting constraints. Zbl 1354.90105Cohen, D.; Crampton, J.; Gagarin, A.; Gutin, G.; Jones, M. 3 2016 Typed guarded decompositions for constraint satisfaction. Zbl 1160.68541Cohen, David A.; Green, Martin J. 3 2006 A multi-symplectic numerical integrator for the two-component Camassa-Holm Equation. Zbl 1420.35289Cohen, David; Matsuo, Takayasu; Raynaud, Xavier 3 2014 Exponential integrators for stochastic Maxwell’s equations driven by Itô noise. Zbl 1436.60061Cohen, David; Cui, Jianbo; Hong, Jialin; Sun, Liying 3 2020 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 Soft constraints: complexity and multimorphisms. Zbl 1273.68342Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 2 2003 Tractability by approximating constraint languages. Zbl 1273.68146Green, Martin J.; Cohen, David A. 2 2003 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 2 2017 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 High order numerical methods for highly oscillatory problems. Zbl 1317.34137Cohen, David; Schweitzer, Julia 2 2015 Convergent numerical schemes for the compressible hyperelastic rod wave equation. Zbl 1323.65093Cohen, David; Raynaud, Xavier 2 2012 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 Steepest ascent can be exponential in bounded treewidth problems. Zbl 07204101Cohen, David A.; Cooper, Martin C.; Kaznatcheev, Artem; Wallace, Mark 1 2020 Calculation of stresses in stiffened composite panels. Zbl 0665.73050Hyer, M. W.; Cohen, David 1 1988 Rationality of division orderings. Zbl 0764.68150Cohen, D. A.; Scott, E. A. 1 1992 The effect of constraint representation on structural tractability. Zbl 1160.68550Houghton, Chris; Cohen, David; Green, Martin J. 1 2006 A counterexample to the easy direction of the geometric Gersten conjecture. Zbl 07020374Cohen, David 1 2019 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 1 2019 The expressive power of binary submodular functions. Zbl 1250.68122Živný, Stanislav; Cohen, David A.; Jeavons, Peter G. 1 2009 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 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 Drift-preserving numerical integrators for stochastic Hamiltonian systems. Zbl 07188447Chen, Chuchu; Cohen, David; D’Ambrosio, Raffaele; Lang, Annika 10 2020 Exponential integrators for stochastic Maxwell’s equations driven by Itô noise. Zbl 1436.60061Cohen, David; Cui, Jianbo; Hong, Jialin; Sun, Liying 3 2020 Steepest ascent can be exponential in bounded treewidth problems. Zbl 07204101Cohen, David A.; Cooper, Martin C.; Kaznatcheev, Artem; Wallace, Mark 1 2020 Binary constraint satisfaction problems defined by excluded topological minors. Zbl 1408.68130Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav 2 2019 A counterexample to the easy direction of the geometric Gersten conjecture. Zbl 07020374Cohen, David 1 2019 On singleton arc consistency for CSPs defined by monotone patterns. Zbl 1421.68151Carbonnel, Clément; Cohen, David A.; Cooper, Martin C.; Živný, Stanislav 1 2019 Exponential integrators for stochastic Schrödinger equations driven by Itô noise. Zbl 1413.65006Anton, Rikard; Cohen, David 7 2018 Weak second order explicit exponential Runge-Kutta methods for stochastic differential equations. Zbl 1387.65064Komori, Yoshio; Cohen, David; Burrage, Kevin 8 2017 Exponential integrators for nonlinear Schrödinger equations with white noise dispersion. Zbl 1386.65036Cohen, David; Dujardin, Guillaume 7 2017 Geometric numerical integrators for Hunter-Saxton-like equations. Zbl 1379.37140Miyatake, Yuto; Cohen, David; Furihata, Daisuke; Matsuo, Takayasu 4 2017 Binarisation for valued constraint satisfaction problems. Zbl 1477.68121Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei; Powell, Robert; Živný, Stanislav 2 2017 The power of propagation: when GAC is enough. Zbl 1387.90130Cohen, David A.; Jeavons, Peter G. 2 2017 Full discretization of semilinear stochastic wave equations driven by multiplicative noise. Zbl 1336.65008Anton, Rikard; Cohen, David; Larsson, Stig; Wang, Xiaojie 20 2016 A fully discrete approximation of the one-dimensional stochastic wave equation. Zbl 1350.65004Cohen, David; Quer-Sardanyons, Lluís 11 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 8 2015 Variable and value elimination in binary constraint satisfaction via forbidden patterns. Zbl 1320.68168Cohen, David A.; Cooper, Martin C.; Escamocher, Guillaume; Živný, Stanislav 6 2015 High order numerical methods for highly oscillatory problems. Zbl 1317.34137Cohen, David; Schweitzer, Julia 2 2015 Energy-preserving integrators for stochastic Poisson systems. Zbl 1310.60074Cohen, David; Dujardin, Guillaume 20 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 3 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 20 2013 A trigonometric method for the linear stochastic wave equation. Zbl 1273.65010Cohen, David; Larsson, Stig; Sigg, Magdalena 19 2013 One-stage exponential integrators for nonlinear Schrödinger equations over long times. Zbl 1257.65055Cohen, David; Gauckler, Ludwig 21 2012 On the numerical discretisation of stochastic oscillators. Zbl 1246.65012Cohen, David 20 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 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. 11 2012 Convergence analysis of trigonometric methods for stiff second-order stochastic differential equations. Zbl 1247.65004Cohen, David; Sigg, Magdalena 11 2012 Convergent numerical schemes for the compressible hyperelastic rod wave equation. Zbl 1323.65093Cohen, David; Raynaud, Xavier 2 2012 Linear energy-preserving integrators for Poisson systems. Zbl 1216.65175Cohen, David; Hairer, Ernst 53 2011 Geometric finite difference schemes for the generalized hyperelastic-rod wave equation. Zbl 1350.74026Cohen, David; Raynaud, Xavier 7 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 49 2008 Symmetric exponential integrators with an application to the cubic Schrödinger equation. Zbl 1147.65102Celledoni, Elena; Cohen, David; Owren, Brynjulf 45 2008 Multi-symplectic integration of the Camassa-Holm equation. Zbl 1148.65093Cohen, David; Owren, Brynjulf; Raynaud, Xavier 36 2008 Long-time analysis of nonlinearly perturbed wave equations via modulated Fourier expansions. Zbl 1145.35087Cohen, David; Hairer, Ernst; Lubich, Christian 27 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. 14 2008 Domain permutation reduction for constraint satisfaction problems. Zbl 1183.68309Green, Martin J.; Cohen, David A. 6 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. 32 2006 Numerical integrators for highly oscillatory Hamiltonian systems: a review. Zbl 1367.65191Cohen, David; Jahnke, Tobias; Lorenz, Katina; Lubich, Christian 27 2006 Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M. 15 2006 Conservation properties of numerical integrators for highly oscillatory Hamiltonian systems. Zbl 1122.65126Cohen, David 10 2006 An algebraic characterisation of complexity for valued constraint. Zbl 1160.68540Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G. 10 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. 28 2005 Supermodular functions and the complexity of MAX CSP. Zbl 1146.68378Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 10 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 20 2003 A new class of binary CSPs for which arc-consistency is a decision procedure. Zbl 1273.68341Cohen, David A. 6 2003 Soft constraints: complexity and multimorphisms. Zbl 1273.68342Cohen, David A.; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei 2 2003 Tractability by approximating constraint languages. Zbl 1273.68146Green, Martin J.; Cohen, David A. 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 6 1999 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 59 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 114 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 317 Authors 24 Živný, Stanislav 21 Cooper, Martin C. 20 Jeavons, Peter G. 17 Cohen, David A. 15 Bulatov, Andrei A. 15 Krokhin, Andrei A. 14 Jonsson, Peter A. 13 Bodirsky, Manuel 12 Scarcello, Francesco 10 Chen, Hubie 9 Dalmau, Víctor 9 Greco, Gianluigi 8 Gottlob, Georg 7 Barto, Libor 7 Martin, Barnaby D. 6 Creignou, Nadia 6 Hermann, Miki 6 Kozik, Marcin 5 Szeider, Stefan 5 Thapper, Johan 4 Garcia de la Banda, Maria 4 Gutin, Gregory Z. 4 Hell, Pavol 4 Kolaitis, Phokion G. 4 Kolmogorov, Vladimir 4 Lagerkvist, Victor 4 Larose, Benoit 4 Leone, Nicola 4 Mears, Christopher 4 Mengel, Stefan 4 Nordh, Gustav 3 Bauland, Michael 3 Bova, Simone 3 Carbonnel, Clément 3 Durand, Arnaud 3 El Mouelhi, Achref 3 Escamocher, Guillaume 3 Fulla, Peter 3 Goldberg, Leslie Ann 3 Kirousis, Lefteris Miltiades 3 Madelaine, Florent R. 3 Mamino, Marcello 3 Mottet, Antoine 3 Nešetřil, Jaroslav 3 Niven, Todd 3 Pinsker, Michael 3 Rafiey, Arash 3 Salzer, Gernot 3 Schnoor, Henning 3 Selezneva, Svetlana Nikolaevna 3 Terrioux, Cyril 3 Valeriote, Matthew A. 3 Vollmer, Heribert 3 Wallace, Mark G. 3 Walsh, Toby 3 Yeo, Anders 2 Atserias, Albert 2 Behrisch, Mike 2 Bergman, Clifford 2 Börner, Ferdinand 2 Broxvall, Mathias 2 Bulín, Jakub 2 Cabrera, Inma P. 2 Cambazard, Hadrien 2 Carvalho, Catarina A. 2 Chen, Xi 2 Cordero, Pablo 2 Demoen, Bart 2 Dyer, Martin E. 2 Egri, László 2 Feder, Tomás 2 Ganian, Robert 2 García-Pardo, Francisca 2 Gaspers, Serge 2 Grohe, Martin 2 Hemaspaandra, Edith 2 Iwamasa, Yuni 2 Jackson, Marcel G. 2 Jégou, Philippe 2 Jerrum, Mark R. 2 Kára, Jan 2 Kuivinen, Fredrik 2 Li, Sanjiang 2 Liberti, Leo 2 Livieratos, John 2 Lu, Pinyan 2 Maróti, Miklós 2 Marx, Dániel 2 Miguel, Ian 2 Naanaa, Wady 2 Ojeda-Aciego, Manuel 2 Ordyniak, Sebastian 2 O’Sullivan, Barry 2 Richerby, David M. 2 Rodríguez-Sanchez, Francisco Joaquin 2 Siggers, Mark H. 2 Smith, Barbara M. 2 Stuckey, Peter James 2 Vardi, Moshe Ya’akov 2 Wahlström, Magnus ...and 217 more Authors all top 5 Cited in 58 Serials 27 Artificial Intelligence 23 Constraints 19 Journal of Computer and System Sciences 19 Theoretical Computer Science 11 Discrete Applied Mathematics 11 SIAM Journal on Computing 11 Theory of Computing Systems 9 Information and Computation 8 Algebra Universalis 8 European Journal of Combinatorics 8 Annals of Mathematics and Artificial Intelligence 3 Discrete Mathematics 3 Information Sciences 3 International Journal of Algebra and Computation 3 Mathematical Programming. Series A. Series B 3 The Journal of Artificial Intelligence Research (JAIR) 3 Logical Methods in Computer Science 2 Computers & Mathematics with Applications 2 Information Processing Letters 2 Algorithmica 2 SIAM Journal on Discrete Mathematics 2 Discrete Mathematics and Applications 2 European Journal of Operational Research 2 Journal of Combinatorial Optimization 2 Journal of the ACM 2 ACM Transactions on Computational Logic 2 Discrete Optimization 2 Computer Science Review 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 Proceedings of the American Mathematical Society 1 Studia Logica 1 Mathematical Social Sciences 1 Operations Research Letters 1 Acta Mathematicae Applicatae Sinica. English Series 1 Computers & Operations Research 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Automation and Remote Control 1 Pattern Recognition 1 Proceedings of the National Academy of Sciences of the United States of America 1 Cybernetics and Systems Analysis 1 Computational Complexity 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Journal of Scheduling 1 Journal of Graph Algorithms and Applications 1 RAIRO. Operations Research 1 Theory and Practice of Logic Programming 1 Journal of Discrete Algorithms 1 Optimization Letters 1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ 1 Bulletin of the Hellenic Mathematical Society all top 5 Cited in 14 Fields 203 Computer science (68-XX) 58 Operations research, mathematical programming (90-XX) 48 General algebraic systems (08-XX) 37 Mathematical logic and foundations (03-XX) 37 Combinatorics (05-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Group theory and generalizations (20-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) Citations by Year