共 50 条
- [42] Computing Superior Counter-Examples for Conformant Planning THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 10017 - 10024
- [44] Energy Conservation with Non-Symplectic Methods: Examples and Counter-Examples BIT Numerical Mathematics, 2004, 44 : 699 - 709
- [48] On robust discretization methods for poroelastic problems: Numerical examples and counter-examples EXAMPLES AND COUNTEREXAMPLES, 2022, 2
- [49] Partial matching for analogy discovery in proofs and counter-examples AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 431 - 445
- [50] A SET OF COUNTER-EXAMPLES TO 3 CONDITION NUMBER ESTIMATORS SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING, 1983, 4 (04): : 602 - 611