共 50 条
- [23] Testing for termination with monotonicity constraints LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 326 - 340
- [29] A Polynomial Lower Bound for Testing Monotonicity STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2016, : 1021 - 1032
- [30] Testing monotonicity over graph products AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 721 - 732