Author:
Berghammer Rudolf,Milanese Ulf
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Asahiro, Y., Iwama, K., Miyano, E.: Random generation of test instances with controlled attributes. In: Johnson, D.S., Trick, M.A. (eds.) Cliques, Coloring, and Satisfiability: The Second DIMACS Implementation Challenge. DIMACS Series on Discr. Math. and Theoret. Comput. Sci. vol. 26, pp. 377–394 (1996)
2. Lecture Notes in Computer Science;R. Behnke,1998
3. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Comp. Surveys 24, 293–318 (1992)
4. Crawford, J.M., Auton, L.D.: Experimental results on the crossover point in random 3SAT. Artificial Intelligence 81, 59–80 (1996)
5. Dantsin, E., Hirsch, E.A.: Algorithms for SAT and upper bounds of their complexity. Electr. Coll. Comp. Compl., Rep. 12 (2001),
http://www.eccc.uni-trier.de/eccc
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献