Carsten Sinz,
"DPvis - a tool to visualize structured SAT instances"
: Proc. of the 8th Intl. Conf. on Theory and Applications of Satisfiability Testing, SAT 2005, Springer Verlag, Seite(n) 257-268, 2005
Original Titel:
DPvis - a tool to visualize structured SAT instances
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of the 8th Intl. Conf. on Theory and Applications of Satisfiability Testing, SAT 2005
Forschungs-