Author:
Gulati Kanupriya,Khatri Sunil P.
Reference38 articles.
1. ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/ . The DIMACS ftp site
2. http://www.cs.chalmers.se/cs/research/formalmethods/minisat/main.html . The MiniSAT Page
3. http://www.lri.fr/simon/contest04/results/ . The SAT’04 Competition
4. Abramovici, M., Saab, D.: Satisfiability on reconfigurable hardware. In: Proceedings, International Workshop on Field Programmable Logic and Applications, pp. 448–456 (1997)
5. Abramovici, M., de Sousa, J., Saab, D.: A massively-parallel easily-scalable satisfiability solver using reconfigurable hardware. In: Proceedings, Design Automation Conference (DAC), pp. 684–690 (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献