Alexey 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
SAT-based rigorous explanations for decision lists	2022-03-22	Paper
Assessing progress in SAT solvers through the Lens of incremental SAT	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
DRMaxSAT with MaxHS: first contact	2020-05-20	Paper
Assessing heuristic machine learning explanations with model counting	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
MCS Extraction with Sublinear Oracle Queries	2016-09-05	Paper
BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexey Ignatiev