Login / Signup
First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates.
Marco Voigt
Published in:
J. Autom. Reason. (2021)
Keyphrases
</>
quantifier free
quantifier elimination
horn clauses
first order logic
higher order
database
boolean expressions
decision making
mazurkiewicz traces
data sets
multiscale
user defined
linear constraints
horizontal fragmentation
taylor series