FALCON Software Authors: Zhang, J. Cited in: 7 Publications (1996–2019) Related Software: Mace4; ModGen; SATCHMO; FINDER; MiniSat; SCOTT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Yochan Software Authors: J. Benton, S. Kambhampati, M. Do Cited in: 5 Publications (2009–2011) Related Software: PDDL; Walksat; CP-nets; Graphplan; PPlan; GOLOG; … Main Fields: Computer science (68-XX)