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	2017-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5283008	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	2014-01-17	Paper
Quantified Maximum Satisfiability:	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