Edit Profile (opens in new tab) Duchier, Denys Co-Author Distance Author ID: duchier.denys Published as: Duchier, Denys; Duchier, D. Documents Indexed: 14 Publications since 1988 Co-Authors: 20 Co-Authors with 11 Joint Publications 545 Co-Co-Authors all top 5 Co-Authors 3 single-authored 4 Niehren, Joachim 2 Althaus, Ernst 2 Dao, Thi-Bich-Hanh 2 Durand-Lose, Jérôme Olivier 2 Koller, Alexander 2 Mehlhorn, Kurt 2 Parmentier, Yannick 2 Senot, Maxime 2 Thiel, Sven 1 Bodirsky, Manuel 1 Brand, Per 1 Haridi, Seif 1 Henz, Martin 1 Lesaint, Willy 1 McDermott, Drew V. 1 Miele, Sebastian 1 Petitjean, Simon 1 Prost, Jean-Philippe 1 Schulte, Christian 1 Van Roy, Peter Serials 1 Theoretical Computer Science 1 Journal of Algorithms 1 Theory and Practice of Logic Programming Fields 13 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 16 times in 14 Documents Cited by ▼ Year ▼ Logic programming in the context of multiparadigm programming: The Oz experience. Zbl 1090.68017 Van Roy, Peter; Brand, Per; Duchier, Denys; Haridi, Seif; Schulte, Christian; Henz, Martin 5 2003 Dominance constraints with set operators. Zbl 0983.68543 Duchier, Denys; Niehren, Joachim 2 2000 A new algorithm for normal dominance constraints. Zbl 1318.05071 Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian 2 2004 Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants. Zbl 1354.68079 Duchier, Denys; Durand-Lose, Jérôme; Senot, Maxime 2 2012 Fractal parallelism: solving SAT in bounded space and time. Zbl 1310.68075 Duchier, Denys; Durand-Lose, Jérôme; Senot, Maxime 2 2010 An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139 Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven 1 2001 Configuration of labeled trees under lexicalized constraints and principles. Zbl 1067.68149 Duchier, Denys 1 2003 A model-theoretic framework for grammaticality judgements. Zbl 1325.03029 Duchier, Denys; Prost, Jean-Philippe; Dao, Thi-Bich-Hanh 1 2011 Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants. Zbl 1354.68079 Duchier, Denys; Durand-Lose, Jérôme; Senot, Maxime 2 2012 A model-theoretic framework for grammaticality judgements. Zbl 1325.03029 Duchier, Denys; Prost, Jean-Philippe; Dao, Thi-Bich-Hanh 1 2011 Fractal parallelism: solving SAT in bounded space and time. Zbl 1310.68075 Duchier, Denys; Durand-Lose, Jérôme; Senot, Maxime 2 2010 A new algorithm for normal dominance constraints. Zbl 1318.05071 Bodirsky, Manuel; Duchier, Denys; Niehren, Joachim; Miele, Sebastian 2 2004 Logic programming in the context of multiparadigm programming: The Oz experience. Zbl 1090.68017 Van Roy, Peter; Brand, Per; Duchier, Denys; Haridi, Seif; Schulte, Christian; Henz, Martin 5 2003 Configuration of labeled trees under lexicalized constraints and principles. Zbl 1067.68149 Duchier, Denys 1 2003 An efficient algorithm for the configuration problem of dominance graphs. Zbl 0988.68139 Althaus, Ernst; Duchier, Denys; Koller, Alexander; Mehlhorn, Kurt; Niehren, Joachim; Thiel, Sven 1 2001 Dominance constraints with set operators. Zbl 0983.68543 Duchier, Denys; Niehren, Joachim 2 2000 all cited Publications top 5 cited Publications all top 5 Cited by 30 Authors 3 Durand-Lose, Jérôme Olivier 2 del Vado Vírseda, Rafael 2 Duchier, Denys 1 Alpuente, María 1 Becker, Florent 1 Beldiceanu, Nicolas 1 Chapelle, Mathieu 1 Chen, Guo Qian 1 Emmanuel, Aurélien 1 Erk, Katrin 1 Fages, François 1 Fernández, Antonio J. 1 Flener, Pierre 1 Gramlich, Bernhard 1 Haemmerlé, Rémy 1 Hortalá-González, Teresa 1 Jiménez-López, María Dolores 1 Levorato, Vincent 1 López-Fraguas, Francisco Javier 1 Lorca, Xavier 1 Maher, Michael J. 1 Niehren, Joachim 1 Parmentier, Yannick 1 Petitjean, Simon 1 Rodríguez-Artalejo, Mario 1 Sáenz-Pérez, Fernando 1 Senot, Maxime 1 Soliman, Sylvain 1 Villanueva, Alicia 1 Wu, Zi all top 5 Cited in 8 Serials 3 Theoretical Computer Science 1 International Journal of Heat and Mass Transfer 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Constraints 1 Higher-Order and Symbolic Computation 1 Theory and Practice of Logic Programming 1 Natural Computing Cited in 5 Fields 12 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Fluid mechanics (76-XX) Citations by Year