共 50 条
- [41] On integrating constraint propagation and linear programming for combinatorial optimization Proceedings of the National Conference on Artificial Intelligence, 1999, : 136 - 141
- [44] INTEGRATING TESTING TECHNIQUES THROUGH PROCESS PROGRAMMING PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 219 - 228