A. A. Ignatiev

Available identifiers

zbMath Open ignatyev.alexey-aMaRDI QIDQ272015

List of research outcomes

Publication	Date of Publication	Type
On computing probabilistic abductive explanations	2023-07-18	Paper
On Tackling Explanation Redundancy in Decision Trees	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	2022-03-22	Paper
Learning Optimal Decision Sets and Lists with SAT	2022-02-07	Paper
RC2: an efficient MaxSAT solver	2021-12-09	Paper
Propositional proof systems based on maximum satisfiability	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	2017-11-15	Paper
Maximal falsifiability. Definitions, algorithms and applications	2017-11-08	Paper
Progression in maximum satisfiability	2017-07-18	Paper
Efficient reasoning for inconsistent Horn formulae	2016-11-30	Paper
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies	2016-09-05	Paper
MCS Extraction with Sublinear Oracle Queries	2016-09-05	Paper
Quantified maximum satisfiability	2016-04-20	Paper
SAT-Based Formula Simplification	2015-11-20	Paper
On reducing maximum independent set to minimum satisfiability	2014-09-26	Paper
Maximal falsifiability. Definitions, algorithms, and applications	2014-01-17	Paper
Quantified maximum satisfiability: a core-guided approach	2013-08-05	Paper
DPLL+ROBDD derivation applied to inversion of some cryptographic functions	2011-06-17	Paper
A numerical study of non-cavitating and cavitating liquid flow around a hydrofoil	2005-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4667238	2005-04-19	Paper
Optimal stabilization of almost periodical systems	2001-07-02	Paper

Research outcomes over time

This page was built for person: A. A. Ignatiev