next up previous
Next: About this document ... Up: Visualisation of Satisfiability Problems Previous: Conclusions

Bibliography

1
Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, and Kiem-Phong Vo.
A technique for drawing directed graphs.
Software Engineering, 19(3):214-230, 1993.

2
M. R. Garey and D. S. Johnson.
Some simplified NP-complete graph problems.
Theoretical Computer Science, 1(3):237-267, February 1976.

3
A. P. Kamath, N. K. Karmarkar, K. G. Ramakrishnan, and M. G. C. Resende.
A continuous approach to inductive inference.
Mathematical Programming, 57:215-238, 1992.



Last modified: 2004-03-17
Andrew Slater