Login / Signup
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).
Bard Bloom
David Grove
Benjamin Herta
Ashish Sabharwal
Horst Samulowitz
Vijay A. Saraswat
Published in:
SAT (2012)
Keyphrases
</>
lightweight
main contribution
data sets
genetic algorithm
learning algorithm
multimedia
probabilistic model