On SMT Theory Design: The Case of Sequences.

Hichem Rami Ait El Hara François Bobot Guillaume Bury

Published in: LPAR Complementary Volume (2024)

Keyphrases

design process
engineering design
theoretical basis
hidden markov models
computer aided
design theory
real time
database systems
design principles
optimal design