27 search results - page 6 / 6 » On the Evaluation of Indexing Techniques for Theorem Proving |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
SIGSOFT
2006
ACM
13 years 11 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...