Author:
Marques-Silva Joao,Ignatiev Alexey,Morgado Antonio
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Alternative Ruleset Discovery to Support Black-Box Model Predictions;IEICE Transactions on Information and Systems;2023-06-01
2. MaxSAT Resolution and Subcube Sums;ACM Transactions on Computational Logic;2023-01-18
3. Alternative Ruleset Discovery to Support Black-box Model Predictions;2021 IEEE International Conference on Data Mining (ICDM);2021-12
4. Propositional proof systems based on maximum satisfiability;Artificial Intelligence;2021-11
5. Chapter 24. Maximum Satisfiabiliy;Frontiers in Artificial Intelligence and Applications;2021-02-02