CryptoMiniSat in multi-threading mode while processing boolean satisfiability problem instances, internal solver runtimeparameters have been collected and analyzed 📄 https://t.co/i633XXuc4h https://t.co/irMGSgjnt2
1,891 followers
1,163 followers
"ML Supported Predictions for SAT Solvers Performance", A.-M. Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde https://t.co/pGA26dpe7l
829 followers
ML Supported Predictions for SAT Solvers Performance. A. -M. Leventi-Peetz, Jörg-Volker Peetz, and Martina Rohde https://t.co/HTj6zMt6Ub
157 followers
ML Supported Predictions for SAT Solvers Performance. (arXiv:2112.09438v1 [https://t.co/xPDlHIl4KH]) https://t.co/C2wT7pa2nx