×

zbMATH — the first resource for mathematics

Simon, Laurent S. R.

Compute Distance To:
Author ID: simon.laurent-s-r Recent zbMATH articles by "Simon, Laurent S. R."
Published as: Simon; Simon, L.; Simon, Laurent; Simon, Laurent S. R.
Documents Indexed: 44 Publications since 1979, including 2 Books

Publications by Year

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.68203
Le Berre, Daniel; Simon, Laurent
13
2004
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587
Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent
10
2013
Optimizing with minimum satisfiability. Zbl 1251.68209
Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent
8
2012
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
ZRes: The old Davis-Putnam procedure meets ZBDD. Zbl 0963.68534
Chatalic, Philippe; Simon, Laurent
7
2000
Molecular transport in viscoelastic materials: mechanistic properties and chemical affinities. Zbl 1375.35373
Ferreira, 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.68007
Adjiman, P.; Chatalic, P.; Goasdoue, F.; Rousset, M. C.; Simon, L.
6
2006
Fifty-five solvers in Vancouver: The SAT 2004 competition. Zbl 1122.68609
Le Berre, Daniel; Simon, Laurent
6
2005
Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431
Audemard, Gilles; Simon, Laurent
5
2014
Flux tracking in drug delivery. Zbl 1228.74047
Ferreira, 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.92316
Simon, Laurent
5
2009
An analytical solution for percutaneous drug absorption: application and removal of the vehicle. Zbl 1076.92032
Simon, L.; Loney, N. W.
5
2005
Repeated applications of a transdermal patch: Analytical solution and optimal control of the delivery rate. Zbl 1126.92028
Simon, L.
4
2007
Analysis of heat-aided membrane-controlled drug release from a process control perspective. Zbl 1124.80365
Simon, Laurent
3
2007
The second QBF solvers comparative evaluation. Zbl 1122.68608
Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
3
2005
Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204
Le Berre, Daniel; Simon, Laurent; Tacchella, Armando
3
2004
SatEx: A web-based framework for SAT experimentation. Zbl 0990.90549
Simon, Laurent; Chatalic, Philippe
3
2001
Using community structure to detect relevant learnt clauses. Zbl 06512577
Ansótegui, Carlos; Giráldez-Cru, Jesús; Levy, Jordi; Simon, Laurent
2
2015
Existence results for evolution hemivariational inequalities. Zbl 0983.49004
Liu, Zhenhai; Simon, L.
2
2001
A mathematical model of diffuse sound field based on a diffusion equation. Zbl 0900.76537
Picaut, J.; Simon, L.; Polack, J.-D.
2
1997
On boundary value problems for nonlinear elliptic equations on bounded domains. Zbl 0645.35032
Simon, L.
2
1987
On the effusion time of drugs from the open pore of a spherical vesicle. Zbl 1400.92235
Simon, Laurent; Ospina, Juan
1
2016
Extreme cases in SAT problems. Zbl 06623507
Audemard, 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.68023
Sakallah, Karem A. (ed.); Simon, Laurent (ed.)
1
2011
Effects of epidermal turnover on the dynamics of percutaneous drug absorption. Zbl 1208.92033
Simon, Laurent; Kim, Kwang S.; Kanneganti, Kumud
1
2011
Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317
Le Berre, Daniel (ed.); Simon, Laurent (ed.)
1
2006
Variational inequalities for strongly nonlinear elliptic operators. Zbl 0658.35042
Simon, L.
1
1986
On the effusion time of drugs from the open pore of a spherical vesicle. Zbl 1400.92235
Simon, Laurent; Ospina, Juan
1
2016
Extreme cases in SAT problems. Zbl 06623507
Audemard, Gilles; Simon, Laurent
1
2016
Using community structure to detect relevant learnt clauses. Zbl 06512577
Ansótegui, Carlos; Giráldez-Cru, Jesús; Levy, Jordi; Simon, Laurent
2
2015
Impact of community structure on SAT solver performance. Zbl 1423.68465
Newsham, Zack; Ganesh, Vijay; Fischmeister, Sebastian; Audemard, Gilles; Simon, Laurent
7
2014
Molecular transport in viscoelastic materials: mechanistic properties and chemical affinities. Zbl 1375.35373
Ferreira, J. A.; De Oliveira, Paula; Da Silva, P. M.; Simon, Laurent
6
2014
Lazy clause exchange policy for parallel SAT solvers. Zbl 1423.68431
Audemard, Gilles; Simon, Laurent
5
2014
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction. Zbl 1390.68587
Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent
10
2013
Optimizing with minimum satisfiability. Zbl 1251.68209
Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent
8
2012
Flux tracking in drug delivery. Zbl 1228.74047
Ferreira, 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.68023
Sakallah, Karem A. (ed.); Simon, Laurent (ed.)
1
2011
Effects of epidermal turnover on the dynamics of percutaneous drug absorption. Zbl 1208.92033
Simon, Laurent; Kim, Kwang S.; Kanneganti, Kumud
1
2011
Timely drug delivery from controlled-release devices: dynamic analysis and novel design concepts. Zbl 1157.92316
Simon, Laurent
5
2009
Repeated applications of a transdermal patch: Analytical solution and optimal control of the delivery rate. Zbl 1126.92028
Simon, L.
4
2007
Analysis of heat-aided membrane-controlled drug release from a process control perspective. Zbl 1124.80365
Simon, Laurent
3
2007
Distributed reasoning in a peer-to-peer setting: application to the semantic web. Zbl 1182.68007
Adjiman, P.; Chatalic, P.; Goasdoue, F.; Rousset, M. C.; Simon, L.
6
2006
Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317
Le Berre, Daniel (ed.); Simon, Laurent (ed.)
1
2006
Fifty-five solvers in Vancouver: The SAT 2004 competition. Zbl 1122.68609
Le Berre, Daniel; Simon, Laurent
6
2005
An analytical solution for percutaneous drug absorption: application and removal of the vehicle. Zbl 1076.92032
Simon, L.; Loney, N. W.
5
2005
The second QBF solvers comparative evaluation. Zbl 1122.68608
Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
3
2005
The essentials of the SAT 2003 competition. Zbl 1204.68203
Le Berre, Daniel; Simon, Laurent
13
2004
Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers. Zbl 1204.68204
Le Berre, Daniel; Simon, Laurent; Tacchella, Armando
3
2004
SatEx: A web-based framework for SAT experimentation. Zbl 0990.90549
Simon, Laurent; Chatalic, Philippe
3
2001
Existence results for evolution hemivariational inequalities. Zbl 0983.49004
Liu, Zhenhai; Simon, L.
2
2001
ZRes: The old Davis-Putnam procedure meets ZBDD. Zbl 0963.68534
Chatalic, Philippe; Simon, Laurent
7
2000
A mathematical model of diffuse sound field based on a diffusion equation. Zbl 0900.76537
Picaut, J.; Simon, L.; Polack, J.-D.
2
1997
On boundary value problems for nonlinear elliptic equations on bounded domains. Zbl 0645.35032
Simon, L.
2
1987
Variational inequalities for strongly nonlinear elliptic operators. Zbl 0658.35042
Simon, L.
1
1986
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

Citations by Year