SATViz: Real-Time Visualization of Clausal Proofs
تقدم هذه الورقة SATViz، وهي أداة تعمل على تصور وتحريك صيغ CNF وبراهين البنود الخاصة بها باستخدام رسوم بيانية لتفاعل المتغيرات وتخطيطات موجهة بالقوة لإبراز هياكل المجتمعات والمساعدة في فهم صعوبة مثيلات SAT وجودة البنود.