Sign in
SatEx: A Web-based Framework for SAT Experimentation.
Laurent Simon
Philippe Chatalic
Published in:
Electron. Notes Discret. Math. (2001)
Keyphrases
</>
main contribution
database
neural network
data mining
theoretical framework
databases
probabilistic model
web based information systems