Login / Signup
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.
Ilias S. Kotsireas
Temur Kutsia
Dimitris E. Simos
Published in:
Ann. Math. Artif. Intell. (2020)
Keyphrases
</>
databases
automated deduction
rewriting rules
database
artificial intelligence
machine learning
search engine
computer vision
information systems
evolutionary algorithm
query optimization
first order logic
query rewriting
rewrite rules
rewriting systems