Sign in

Proofs of Conjectures on Extremal Weight De Bruijn Sequences.

Yupeng JiangMing LiDongdai 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