Density Based Clustering for Satisfiability Solving
1999 ◽
Vol 10
(1)
◽
pp. 204-207
◽
2004 ◽
Vol 73
(1)
◽
pp. 169-180
◽
2011 ◽
Vol 291-294
◽
pp. 344-348