Sándor P. Fekete;Michael E. Houle;Sue Whitesides
-;-;-
Visualisation of satisfiability using the logic engine
APVis '05 proceedings of the 2005 Asia-Pacific symposium on Information visualisation - Volume 45