( en | de | ru )

 

Disambiguation of "Ignatiev, Alexey"

Author of the publication

copydeleteadd this publication to your clipboard
Smallest MUS Extraction with Minimal Hitting Set Dualization.

, , , and . CP, volume 9255 of Lecture Notes in Computer Science, page 173-182. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pavel Ignatiev

Alexey Dashevsky

Alexey Mikaberidze

Alexey Shaytan

Alexey Lomonosov

 

Other publications of authors with the same name

Smallest MUS Extraction with Minimal Hitting Set Dualization., , , and . CP, volume 9255 of Lecture Notes in Computer Science, page 173-182. Springer, (2015)Efficient Explanations With Relevant Sets., , , , and . CoRR, (2021)On Relating 'Why?' and 'Why Not?' Explanations., , , and . CoRR, (2020)MaxSAT Resolution With the Dual Rail Encoding., , , , and . AAAI, page 6565-6572. AAAI Press, (2018)Tractable Explanations for d-DNNF Classifiers., , , , , and . AAAI, page 5719-5728. AAAI Press, (2022)On Efficiently Explaining Graph-Based Classifiers., , , and . KR, page 356-367. (2021)Explanations for Monotonic Classifiers., , , , and . ICML, volume 139 of Proceedings of Machine Learning Research, page 7469-7479. PMLR, (2021)Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference., , , , and . LATA, volume 11417 of Lecture Notes in Computer Science, page 159-173. Springer, (2019)Prime Compilation of Non-Clausal Formulae., , , and . IJCAI, page 1980-1988. AAAI Press, (2015)Efficient Model Based Diagnosis with Maximum Satisfiability., , , and . IJCAI, page 1966-1972. AAAI Press, (2015)