Login / Signup
System Feature Description: Importing Refutations into the GAPT Framework.
Cvetan Dunchev
Alexander Leitsch
Tomer Libal
Martin Riener
Mikheil Rukhaia
Daniel Weller
Bruno Woltzenlogel Paleo
Published in:
PxTP (2012)
Keyphrases
</>
main contribution
evolutionary algorithm
multiresolution
representation scheme
data sets
high level
probabilistic model
software engineering
computational model
theoretical framework
key features
computational framework