×

Found 2 Software Packages (Results 1–2)

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)