Autoresearch for SAT Solvers - 信息索引