1. Brinkhoff, T., Kriegel, H., Seeger B. Efficient Processing of Spatial Joins Using R-trees. ACM SIGMOD, 1993.
2. Beckmann, N., Kriegel, H. Schneider, R., Seeger, B. The R*-tree: an Efficient and Robust Access Method for Points and Rectangles. ACM SIGMOD, 1990.
3. TIK-Report;T. Blickle,1996
4. Crawford, J., Auton, L. Experimental Results on the Crossover Point in Satisfiability Problems. AAAI, 1993.
5. Clark, D., Frank, J., Gent, I., MacIntyre, E., Tomov, N., Walsh, T. Local Search and the Number of Solutions. Constraint Programming, 1998.