Login / Signup
SMT-Aided Combinatorial Materials Discovery.
Stefano Ermon
Ronan LeBras
Carla P. Gomes
Bart Selman
R. Bruce van Dover
Published in:
SAT (2012)
Keyphrases
</>
knowledge discovery
discovery process
neural network
statistical machine translation
learning materials
databases
data mining
pattern discovery
natural language processing
scientific discovery
data sets
learning systems
evolutionary algorithm
multimedia
information systems
computer vision
real world