Author:
Frisch Alan M.,Miguel Ian,Walsh Toby
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. Boppana and M. M. Halldórsson. Approximating maximum independent sets by excluding subgraphs. BIT, 32:180–196, 1992.
2. A. Bundy. A science of reasoning. In J-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 178–198. MIT Press, 1991.
3. S. Colton. Automated Theory Formation in Pure Mathematics. Springer-Verlag, 2002.
4. S. Colton and I. Miguel. Constraint generation via automated theory formation. In T. Walsh, editor, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming, pages 575–579, 2001.
5. A.K. Dewdney. Computer recreations. Scientific American, pages 16–20, December 1985.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献