| Publication | Date of Publication | Type |
|---|
On computing probabilistic abductive explanations
International Journal of Approximate Reasoning | 2023-07-18 | Paper |
On Tackling Explanation Redundancy in Decision Trees
Journal of Artificial Intelligence Research | 2022-10-18 | Paper |
| Assessing progress in SAT solvers through the Lens of incremental SAT | 2022-03-22 | Paper |
SAT-based rigorous explanations for decision lists
(available as arXiv preprint) | 2022-03-22 | Paper |
Learning Optimal Decision Sets and Lists with SAT
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
RC2: an efficient MaxSAT solver
Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
Propositional proof systems based on maximum satisfiability
Artificial Intelligence | 2021-11-02 | Paper |
| On computing the union of MUSes | 2020-05-20 | Paper |
| Assessing heuristic machine learning explanations with model counting | 2020-05-20 | Paper |
| DRMaxSAT with MaxHS: first contact | 2020-05-20 | Paper |
| Efficient symmetry breaking for SAT-based minimum DFA inference | 2019-12-04 | Paper |
| A SAT-based approach to learn explainable decision sets | 2018-10-18 | Paper |
| PySAT: a Python toolkit for prototyping with SAT oracles | 2018-08-10 | Paper |
On tackling the limits of resolution in SAT solving
(available as arXiv preprint) | 2017-11-15 | Paper |
Maximal falsifiability. Definitions, algorithms and applications
AI Communications | 2017-11-08 | Paper |
| Progression in maximum satisfiability | 2017-07-18 | Paper |
Efficient reasoning for inconsistent Horn formulae
Logics in Artificial Intelligence | 2016-11-30 | Paper |
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
MCS Extraction with Sublinear Oracle Queries
Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Quantified maximum satisfiability
Constraints | 2016-04-20 | Paper |
SAT-Based Formula Simplification
Lecture Notes in Computer Science | 2015-11-20 | Paper |
On reducing maximum independent set to minimum satisfiability
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Maximal falsifiability. Definitions, algorithms, and applications
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Quantified maximum satisfiability: a core-guided approach
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
DPLL+ROBDD derivation applied to inversion of some cryptographic functions
Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil
ESAIM: Mathematical Modelling and Numerical Analysis | 2005-09-08 | Paper |
A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil
ESAIM: Mathematical Modelling and Numerical Analysis | 2005-09-08 | Paper |
| scientific article; zbMATH DE number 2159292 (Why is no real title available?) | 2005-04-19 | Paper |
Optimal stabilization of almost periodical systems
Trudy Instituta Prikladnoĭ Matematiki i Mekhaniki | 2001-07-02 | Paper |
