| 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
Mathematical Biosciences | 2022-10-14 | Paper |
Controlled drug release from a spheroidal matrix
Physica A | 2022-07-18 | Paper |
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
(available as arXiv preprint) | 2021-04-07 | Paper |
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research | 2019-10-11 | Paper |
On the effusion time of drugs from the open pore of a spherical vesicle
Physica A | 2018-11-13 | Paper |
Convex Regularizations for the Simultaneous Recording of Room Impulse Responses
IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
| On the community structure of bounded model checking SAT problems | 2017-11-15 | Paper |
Extreme cases in SAT problems
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Prediction of \textit{in-vivo} iontophoretic drug release data from \textit{in-vitro} experiments-insights from modeling
Mathematical Biosciences | 2015-12-28 | Paper |
Using Community Structure to Detect Relevant Learnt Clauses
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Impact of Community Structure on SAT Solver Performance
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Lazy clause exchange policy for parallel SAT solvers
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Two-dimensional transport analysis of transdermal drug absorption with a non-perfect sink boundary condition at the skin-capillary interface
Mathematical Biosciences | 2014-02-12 | Paper |
Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
Optimizing with minimum satisfiability
Artificial Intelligence | 2012-11-15 | Paper |
Flux tracking in drug delivery
Applied Mathematical Modelling | 2011-12-18 | Paper |
Effects of epidermal turnover on the dynamics of percutaneous drug absorption
Mathematical Biosciences | 2011-03-22 | Paper |
Transport mechanisms in oral transmucosal drug delivery: implications for pain management
Mathematical Biosciences | 2011-03-22 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Distributed reasoning in a peer-to-peer setting: application to the semantic web
(available as arXiv preprint) | 2009-04-28 | Paper |
Timely drug delivery from controlled-release devices: dynamic analysis and novel design con\-cepts
Mathematical Biosciences | 2009-04-03 | Paper |
Distributed Consistency-Based Diagnosis
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Analysis of heat-aided membrane-controlled drug release from a process control perspective
International Journal of Heat and Mass Transfer | 2007-05-23 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| SatEx: A web-based framework for SAT experimentation | 2001-09-24 | Paper |
| scientific article; zbMATH DE number 1614715 (Why is no real title available?) | 2001-07-05 | Paper |
