Laurent Simon

Available identifiers

zbMath Open simon.laurent-s-rMaRDI QIDQ630953

List of research outcomes

Publication	Date of Publication	Type
Reasoning with propositional logic: from SAT solvers to knowledge compilation	2024-09-11	Paper
Analysis of the absorption kinetics following dermal exposure to large doses of volatile organic compounds	2022-10-14	Paper
Controlled drug release from a spheroidal matrix	2022-07-18	Paper
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers	2021-04-07	Paper
Community structure in industrial SAT instances	2019-10-11	Paper
On the effusion time of drugs from the open pore of a spherical vesicle	2018-11-13	Paper
Convex Regularizations for the Simultaneous Recording of Room Impulse Responses	2018-08-22	Paper
On the community structure of bounded model checking SAT problems	2017-11-15	Paper
Extreme cases in SAT problems	2016-09-05	Paper
Prediction of \textit{in-vivo} iontophoretic drug release data from \textit{in-vitro} experiments-insights from modeling	2015-12-28	Paper
Using Community Structure to Detect Relevant Learnt Clauses	2015-11-20	Paper
Impact of Community Structure on SAT Solver Performance	2014-09-26	Paper
Lazy clause exchange policy for parallel SAT solvers	2014-09-26	Paper
Two-dimensional transport analysis of transdermal drug absorption with a non-perfect sink boundary condition at the skin-capillary interface	2014-02-12	Paper
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction	2013-08-05	Paper
Optimizing with minimum satisfiability	2012-11-15	Paper
Flux tracking in drug delivery	2011-12-18	Paper
Effects of epidermal turnover on the dynamics of percutaneous drug absorption	2011-03-22	Paper
Transport mechanisms in oral transmucosal drug delivery: implications for pain management	2011-03-22	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
Distributed reasoning in a peer-to-peer setting: application to the semantic web	2009-04-28	Paper
Timely drug delivery from controlled-release devices: dynamic analysis and novel design con\-cepts	2009-04-03	Paper
Distributed Consistency-Based Diagnosis	2009-01-27	Paper
Analysis of heat-aided membrane-controlled drug release from a process control perspective	2007-05-23	Paper
SOFSEM 2006: Theory and Practice of Computer Science	2006-11-14	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
SatEx: A web-based framework for SAT experimentation	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2723442	2001-07-05	Paper

Research outcomes over time

This page was built for person: Laurent Simon