A computational attack on the conjectures of Graffiti: New counterexamples and proofs.

Tony L. Brewster Michael J. Dinneen Vance Faber

Published in: Discret. Math. (1995)

Keyphrases

theorem prover
database
data sets
theorem proving
malicious attacks
real time
machine learning
web applications
intrusion detection system
attack detection
formal proofs