Derangements Formula.

Published in: Arch. Formal Proofs (2015)

Keyphrases

data mining
neural network
computer vision
artificial intelligence
optimal solution
np hard
np complete
temporal logic