From post

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.

 

Другие публикации лиц с тем же именем

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