ALASCA: Reasoning in Quantified Linear Arithmetic.

Konstantin Korovin Laura Kovács Giles Reger Johannes Schoisswohl Andrei Voronkov

Published in: TACAS (1) (2023)

Keyphrases

meta level
knowledge base
knowledge representation
data sets
linear model
transfer function
arithmetic operations
real time
face recognition