Proofs of Conjectures on Extremal Weight De Bruijn Sequences.

Yupeng Jiang Ming Li Dongdai Lin

Published in: IEEE Trans. Inf. Theory (2023)

Keyphrases

theorem prover
hidden markov models
theorem proving
long sequences
data mining
genetic algorithm
weighting scheme
database
machine learning
sequential patterns
test sequences
mathematical proofs