Search graphs for CNF formulas as produced by Modoc, a resolution based propositional satisfiability solver. Square nodes represent clauses and circular nodes represent variables. Negative edges are dashed and positive edges are solid. All images © by Aaron Solomon, University of California at Santa Cruz.

» More from aiSee users in the US
» About aiSee's force-directed layout algorithm

Last modified on 1 December 2003 by webmaster. © 2003 AbsInt.
Search graphs © 2003 Aaron Solomon.
URL: http://www.aisee.com/graph_of_the_month/cnf.htm

Home
About
Examples
Free trial
Support
Store
Legal
Contact

 Extras
» Graph of
   the month
   12/2003
» Polls
» Memory
» Puzzle
» GDLedit
» Desktop
» Logos
» Papers
» Links

Sitemap