共 50 条
- [21] Speed-Up Techniques for Negation in Grounding LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 13 - 26
- [23] Preprocessing Speed-Up Techniques Is Hard ALGORITHMS AND COMPLEXITY, PROCEEDINGS, 2010, 6078 : 359 - 370
- [25] A Speed-up Algorithm for Poisson Propagation IJCNN: 2009 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1- 6, 2009, : 819 - +