×

Found 2 Software Packages (Results 1–2)

Wombit

Software Authors:   Wang, Wenxi; Søndergaard, Harald; Stuckey, Peter J.
Referenced in: 2 Publications (2019–2020)
Related Software: CVC4; Boogie; STP; SUNNY; sunny-cp; meSAT; …
Main Fields: Computer science (68-XX)

KNEWS

Software Authors:   Valerio Basile, Elena Cabrio, Claudia Schon
Referenced in: 0 Publications
Related Software: Adimen-SUMO; YAGO; BabelNet; WordNet; ConceptNet Numberbatch; ConceptNet; …
Main Fields: