aiSee: Search Graphs for CNF Formulas

• Graph 1
• Graph 2
• Graph 3
• Graph 4
• Graph 5
• Graph 6
• Graph 7

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.

• See also:

• Quzzle solution space
• Rush Hour puzzle solution space
• Exploration space for graph traversal

• More from aiSee users in the US
• About aiSee’s force-directed layout algorithm

• January 2004: Pipeline analysis
• November 2003: IRC network maps
• Similar graphs: Force-directed layout Graphs with 200+ nodes Application examples Graph of the month 12 random graphs GIF SVG GDL PNG PS
• Submit a graph of yours
• RSS

• Home
• About
• Examples
  • Graph of
    the month
    12/2003
  • GDL files
  • SVG output
  • PNG output
  • HTML output
  • PS output
  • Applications
  • Output split
  • Animations
  • Search
• Free trial
• Help
• Store
• Legal
• Contact
• Extras
• Sitemap