CHUFFED Software Authors: Chu, G., Stuckey, P.J., Schutt, A., Ehlers, T., Gange, G., Francis, K. Cited in: 20 Publications (2016–2022) Related Software: MiniZinc; CPLEX; Gecode; OR-tools; GitHub; Chaff; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SMCHR Software Authors: Duck, Gregory J. Cited in: 2 Publications (2012–2018) Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator Main Fields: Computer science (68-XX)