Succinct ordering and aggregation constraints in algebraic array theories.

Rodrigo Raya Viktor Kuncak

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

ordering constraints
higher order
real time
co occurrence
partial order
mathematical models
linear constraints
aggregation operators
neural network
relational databases
theoretical framework
geometric constraints