共 50 条
- [22] Propositional Abduction with Implicit Hitting Sets ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1327 - 1335
- [23] On Exploiting Hitting Sets for Model Reconciliation THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6514 - 6521
- [27] THE USE OF LINEAR-PROGRAMMING FOR THE SOLUTION OF SPARSE SETS OF NONLINEAR EQUATIONS SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING, 1987, 8 (02): : 99 - 108