Edit Profile Simon, Laurent S. R. Compute Distance To: Compute Author ID: simon.laurent-s-r Published as: Simon; Simon, L.; Simon, Laurent; Simon, Laurent S. R. Documents Indexed: 44 Publications since 1979, including 2 Books all top 5 Co-Authors 2 single-authored 5 Le Berre, Daniel 4 Audemard, Gilles 4 Chatalic, Philippe 3 Giráldez-Cru, Jesús 3 Ospina, Juan 2 Adjiman, Philippe 2 Ansótegui, Carlos 2 da Silva, Pascoal M. 2 de Oliveira, Paula 2 Ferreira, José Augusto 2 Goasdoué, François 2 Kim, Kwang-Seok 2 Levy, Jordi 2 Rousset, Marie-Christine 2 Tacchella, Armando 1 Armant, Vincent 1 Baud-Berthier, Guillaume 1 Benichoux, Alexis 1 Bonet, Maria Luisa 1 Dague, Philippe 1 Fischmeister, Sebastian 1 Ganesh, Vijay 1 Gribonval, Rémi 1 Ita, Kevin 1 Kanneganti, Kumud 1 Lagniez, Jean-Marie 1 Li, Chu Min 1 Manyà, Felip 1 Narizzano, Massimo 1 Newsham, Zack 1 Sakallah, Karem A. 1 Vincent, Emmanuel 1 Zhu, Zhu all top 5 Serials 5 Mathematical Biosciences 2 The Journal of Artificial Intelligence Research (JAIR) 1 Artificial Intelligence 1 International Journal of Heat and Mass Transfer 1 Physica A 1 IEEE Transactions on Signal Processing 1 Applied Mathematical Modelling 1 SIAM Journal on Applied Mathematics 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 18 Computer science (68-XX) 7 Biology and other natural sciences (92-XX) 4 Partial differential equations (35-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Numerical analysis (65-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 1 Combinatorics (05-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 27 Publications have been cited 113 times in 99 Documents Cited by ▼ Year ▼ The essentials of the SAT 2003 competition. Zbl 1204.68203Le Berre, Daniel; Simon, Laurent 13 2004 Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent 10 2013 Optimizing with minimum satisfiability. Zbl 1251.68209Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent 8 2012 Impact of community structure on SAT solver performance. Zbl 1423.68465Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent 7 2014 ZRes: The old Davis-Putnam procedure meets ZBDD. Zbl 0963.68534Chatalic, Philippe; Simon, Laurent 7 2000 Molecular transport in viscoelastic materials: mechanistic properties and chemical affinities. Zbl 1375.35373Ferreira, J. A.; De Oliveira, Paula; Da Silva, P. M.; Simon, Laurent 6 2014 Distributed reasoning in a peer-to-peer setting: application to the semantic web. Zbl 1182.68007Adjiman, P.; Chatalic, P.; Goasdoue, F.; Rousset, M. C.; Simon, L. 6 2006 Fifty-five solvers in Vancouver: The SAT 2004 competition. Zbl 1122.68609Le Berre, Daniel; Simon, Laurent 6 2005 Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431Audemard, Gilles; Simon, Laurent 5 2014 Flux tracking in drug delivery. Zbl 1228.74047Ferreira, José A.; De Oliveira, Paula; Da Silva, Pascoal; Simon, Laurent 5 2011 Timely drug delivery from controlled-release devices: dynamic analysis and novel design concepts. Zbl 1157.92316Simon, Laurent 5 2009 An analytical solution for percutaneous drug absorption: application and removal of the vehicle. Zbl 1076.92032Simon, L.; Loney, N. W. 5 2005 Repeated applications of a transdermal patch: Analytical solution and optimal control of the delivery rate. Zbl 1126.92028Simon, L. 4 2007 Analysis of heat-aided membrane-controlled drug release from a process control perspective. Zbl 1124.80365Simon, Laurent 3 2007 The second QBF solvers comparative evaluation. Zbl 1122.68608Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando 3 2005 Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204Le Berre, Daniel; Simon, Laurent; Tacchella, Armando 3 2004 SatEx: A web-based framework for SAT experimentation. Zbl 0990.90549Simon, Laurent; Chatalic, Philippe 3 2001 Using community structure to detect relevant learnt clauses. Zbl 06512577Ansótegui, Carlos; Giráldez-Cru, Jesús; Levy, Jordi; Simon, Laurent 2 2015 Existence results for evolution hemivariational inequalities. Zbl 0983.49004Liu, Zhenhai; Simon, L. 2 2001 A mathematical model of diffuse sound field based on a diffusion equation. Zbl 0900.76537Picaut, J.; Simon, L.; Polack, J.-D. 2 1997 On boundary value problems for nonlinear elliptic equations on bounded domains. Zbl 0645.35032Simon, L. 2 1987 On the effusion time of drugs from the open pore of a spherical vesicle. Zbl 1400.92235Simon, Laurent; Ospina, Juan 1 2016 Extreme cases in SAT problems. Zbl 06623507Audemard, Gilles; Simon, Laurent 1 2016 Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Zbl 1215.68023Sakallah, Karem A. (ed.); Simon, Laurent (ed.) 1 2011 Effects of epidermal turnover on the dynamics of percutaneous drug absorption. Zbl 1208.92033Simon, Laurent; Kim, Kwang S.; Kanneganti, Kumud 1 2011 Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317Le Berre, Daniel (ed.); Simon, Laurent (ed.) 1 2006 Variational inequalities for strongly nonlinear elliptic operators. Zbl 0658.35042Simon, L. 1 1986 On the effusion time of drugs from the open pore of a spherical vesicle. Zbl 1400.92235Simon, Laurent; Ospina, Juan 1 2016 Extreme cases in SAT problems. Zbl 06623507Audemard, Gilles; Simon, Laurent 1 2016 Using community structure to detect relevant learnt clauses. Zbl 06512577Ansótegui, Carlos; Giráldez-Cru, Jesús; Levy, Jordi; Simon, Laurent 2 2015 Impact of community structure on SAT solver performance. Zbl 1423.68465Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent 7 2014 Molecular transport in viscoelastic materials: mechanistic properties and chemical affinities. Zbl 1375.35373Ferreira, J. A.; De Oliveira, Paula; Da Silva, P. M.; Simon, Laurent 6 2014 Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431Audemard, Gilles; Simon, Laurent 5 2014 Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent 10 2013 Optimizing with minimum satisfiability. Zbl 1251.68209Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent 8 2012 Flux tracking in drug delivery. Zbl 1228.74047Ferreira, José A.; De Oliveira, Paula; Da Silva, Pascoal; Simon, Laurent 5 2011 Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Zbl 1215.68023Sakallah, Karem A. (ed.); Simon, Laurent (ed.) 1 2011 Effects of epidermal turnover on the dynamics of percutaneous drug absorption. Zbl 1208.92033Simon, Laurent; Kim, Kwang S.; Kanneganti, Kumud 1 2011 Timely drug delivery from controlled-release devices: dynamic analysis and novel design concepts. Zbl 1157.92316Simon, Laurent 5 2009 Repeated applications of a transdermal patch: Analytical solution and optimal control of the delivery rate. Zbl 1126.92028Simon, L. 4 2007 Analysis of heat-aided membrane-controlled drug release from a process control perspective. Zbl 1124.80365Simon, Laurent 3 2007 Distributed reasoning in a peer-to-peer setting: application to the semantic web. Zbl 1182.68007Adjiman, P.; Chatalic, P.; Goasdoue, F.; Rousset, M. C.; Simon, L. 6 2006 Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317Le Berre, Daniel (ed.); Simon, Laurent (ed.) 1 2006 Fifty-five solvers in Vancouver: The SAT 2004 competition. Zbl 1122.68609Le Berre, Daniel; Simon, Laurent 6 2005 An analytical solution for percutaneous drug absorption: application and removal of the vehicle. Zbl 1076.92032Simon, L.; Loney, N. W. 5 2005 The second QBF solvers comparative evaluation. Zbl 1122.68608Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando 3 2005 The essentials of the SAT 2003 competition. Zbl 1204.68203Le Berre, Daniel; Simon, Laurent 13 2004 Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204Le Berre, Daniel; Simon, Laurent; Tacchella, Armando 3 2004 SatEx: A web-based framework for SAT experimentation. Zbl 0990.90549Simon, Laurent; Chatalic, Philippe 3 2001 Existence results for evolution hemivariational inequalities. Zbl 0983.49004Liu, Zhenhai; Simon, L. 2 2001 ZRes: The old Davis-Putnam procedure meets ZBDD. Zbl 0963.68534Chatalic, Philippe; Simon, Laurent 7 2000 A mathematical model of diffuse sound field based on a diffusion equation. Zbl 0900.76537Picaut, J.; Simon, L.; Polack, J.-D. 2 1997 On boundary value problems for nonlinear elliptic equations on bounded domains. Zbl 0645.35032Simon, L. 2 1987 Variational inequalities for strongly nonlinear elliptic operators. Zbl 0658.35042Simon, L. 1 1986 all cited Publications top 5 cited Publications all top 5 Cited by 200 Authors 10 Ferreira, José Augusto 9 Simon, Laurent S. R. 7 de Oliveira, Paula 3 Biere, Armin 3 da Silva, Pascoal M. 3 Egly, Uwe 3 Giunchiglia, Enrico 3 Maratea, Marco 3 Marques-Silva, João P. 3 Ospina, Juan 3 Sinz, Carsten 2 Azhdari, Ebrahim 2 Balyo, Tomáš 2 Barbeiro, Sílvia 2 Cerutti, Federico 2 Czarnecki, Krzysztof 2 Fernández, César C. 2 Ganesh, Vijay 2 Giacomin, Massimiliano 2 Giráldez-Cru, Jesús 2 Grassi, Mario 2 Ignatyev, Alexey A. 2 Jiang, Hua 2 Levy, Jordi 2 Li, Chu Min 2 Liang, Jia Hui 2 Lonsing, Florian 2 Mencía, Carlos 2 Pinto, Luis 2 Pontrelli, Giuseppe 2 Previti, Alessandro 2 Selman, Bart 2 Simon, L. 2 Stump, Aaron 2 Su, Kaile 2 Vallati, Mauro 1 Al-Yahya, Tasniem Nasser 1 Alechina, Natasha 1 Amendola, Giovanni 1 Ansótegui, Carlos 1 Arenas, Marcelo 1 Argelich, Josep 1 Armando, Alessandro 1 Audemard, Gilles 1 Bardeji, Somayeh Gh. 1 Bareille, O. A. 1 Barrett, Clark W. 1 Béjar, Ramón 1 Bessiere, Christian 1 Botoeva, Elena 1 Bourgne, Gauvain 1 Bruni, Renato 1 Bubeck, Uwe 1 Cai, Shaowei 1 Calvanese, Diego 1 Cametti, Cesare 1 Caputo, Michele 1 Caroprese, Luciano 1 Carr, Elliot Joseph 1 Castellini, Claudio 1 Chatalic, Philippe 1 Chen, Wenxiang 1 Cok, David R. 1 Cong, Ligang 1 Däubel, Karl 1 De Monte, Filippo 1 de Moura, Leonardo 1 Delgado-Charro, M. Begoña 1 Dequen, Gilles 1 Dershowitz, Nachum 1 Di Rosa, Emanuele 1 Di, Xiaoqiang 1 Dubois, Olivier 1 Dujourdy, Hugo 1 Eirinakis, Pavlos 1 Eiter, Thomas 1 El-bachir Menai, Mohamed 1 Emami, Aram 1 Fang, Zhiwen 1 Fischmeister, Sebastian 1 Fremont, Daniel J. 1 Fröhlich, Andreas M. 1 Fujita, Hiroshi 1 Ganian, Robert 1 Giona, Massimiliano 1 Gomes, Carla P. 1 Gottlob, Georg 1 Gudiño, Elías 1 Haraguchi, Kazuya 1 Hirsch, Edward A. 1 Huang, Nan-Jing 1 Huang, Ping 1 Ichchou, Mohamed Najib 1 Iser, Markus 1 Ita, Kevin 1 Jäger, Sven 1 Janota, Mikoláš 1 Jia, Limin 1 Jiang, Yuming 1 Johannsen, Jan ...and 100 more Authors all top 5 Cited in 36 Serials 10 Artificial Intelligence 9 Mathematical Biosciences 8 Journal of Automated Reasoning 6 Constraints 5 Annals of Mathematics and Artificial Intelligence 4 Discrete Applied Mathematics 3 Journal of Computational and Applied Mathematics 2 Theoretical Computer Science 2 Acta Mathematica Hungarica 2 Applied Mathematical Modelling 2 SIAM Journal on Applied Mathematics 2 Journal of Heuristics 1 Computers & Mathematics with Applications 1 Computer Methods in Applied Mechanics and Engineering 1 Journal of Engineering Mathematics 1 Journal of Mathematical Analysis and Applications 1 Physica A 1 Wave Motion 1 Journal of Optimization Theory and Applications 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Numerische Mathematik 1 Synthese 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 International Journal of Approximate Reasoning 1 European Journal of Operational Research 1 The Electronic Journal of Combinatorics 1 INFORMS Journal on Computing 1 Mathematical Problems in Engineering 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Computational Intelligence 1 Discrete Optimization 1 Optimization Letters 1 Mathematics in Engineering all top 5 Cited in 20 Fields 62 Computer science (68-XX) 17 Partial differential equations (35-XX) 13 Biology and other natural sciences (92-XX) 11 Operations research, mathematical programming (90-XX) 8 Mathematical logic and foundations (03-XX) 6 Mechanics of deformable solids (74-XX) 5 Numerical analysis (65-XX) 4 Fluid mechanics (76-XX) 3 Combinatorics (05-XX) 2 Integral equations (45-XX) 2 Operator theory (47-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year