SATzilla Software Authors: Xu, L.; Hutter, F.; Hoos, H.H.; Leyton-Brown, K. Cited in: 88 Publications (2008–2022) Related Software: Paramils; MiniSat; SMAC; irace; MiniZinc; SUNNY; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
MachSMT Software Authors: Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay Cited in: 2 Publications (2021–2022) Related Software: MedleySolver; FaCT++; ileanCoP; leanCoP; TPTP; Matlab; … Main Fields: Computer science (68-XX)