斯科特 2份文件引用(2010–2018) 软件作者： Blanc，N.、Kroening，D.、Sharygina，N。 相关软件： MiniSat；SLAM；萨帕托… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）