从satcompetition.org链接出的网站列表
| No. | 链出域名 | 关键词 |
|---|---|---|
| 1. | belov-mcdowell.com | Anton Belov |
| 2. | danieldiepold.de | Daniel Diepold |
| 3. | utexas.edu | Marijn Heule |
| 4. | helsinki.fi | MattiJ�rvisalo |
| 5. | neu.edu | Pete Manolios |
| 6. | univ-artois.fr | Daniel Le Berre |
| 7. | oz.au | |
| 8. | uni-ulm.de | hybridGM3 |
| 9. | unitn.it | Roberto Sebastiani |
| 10. | umich.edu | Karem A. Sakallah |
| 11. | microsoft.com | Lintao Zhang |
| 12. | kit.edu | SAT Challenge! |
| 13. | tuwien.ac.at | Uwe Egly |
| 14. | tau.ac.il | Jerusat |
| 15. | rice.edu | Moshe Vardi |
| 16. | lri.fr | SAT-Ex |
| 17. | jku.at | Armin Biere |
| 18. | uni-potsdam.de | clasp |
| 19. | msoos.org | cryptominisat // |
| 20. | uka.de | SAT Race! |
| 21. | tu-chemnitz.de | Andreas Goerdt |
| 22. | inesc-id.pt | Ines Lynce |
| 23. | uiowa.edu | Aaron Stump |
| 24. | ubc.ca | Hsat1 |
| 25. | tudelft.nl | March-eq |
| 26. | sfu.ca | MXC |
| 27. | uni-tuebingen.de | |
| 28. | u-picardie.fr | Kcnfs |
| 29. | uni-koeln.de | Ewald Speckenmeyer |
| 30. | miami.edu | Geoff Sutcliffe |
| 31. | ibm.com | IBM |
| 32. | ucla.edu | Rsat |
| 33. | chalmers.se | Satzoo |
| 34. | qub.ac.uk | TTSP-3.0 |
| 35. | swan.ac.uk | OKSolver |
| 36. | ucsc.edu | Allen Van Gelder |
| 37. | miroslav-velev.com | Velev |
| 38. | princeton.edu | zChaff |
| 39. | technion.ac.il | HaifaSat |
| 40. | nicta.com.au | Dew_Satz1a |
| 41. | satlib.org | SATLIB |
| 42. | ras.ru | Edward A. Hirsch |
| 43. | kluweronline.com | |
| 44. | ethz.ch | Limmat |
| 45. | tripod.com | Berkmin |
| 46. | satlive.org | SAT Live! |