DPvis - A Tool to Visualize the Structure of SAT Instances.

Carsten Sinz Edda-Maria Dieringer

Published in: SAT (2005)

Keyphrases

sat instances
sat solvers
randomly generated
satisfiability problem
artificial intelligence
evolutionary algorithm
np complete
orders of magnitude
graph structure
visualization tool