Sign in

ALASCA: Reasoning in Quantified Linear Arithmetic.

Konstantin KorovinLaura KovácsGiles RegerJohannes SchoisswohlAndrei 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