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