Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas.

Eden Frenkel Tej Chajed Oded Padon Sharon Shoham

Published in: CoRR (2024)

Keyphrases

efficient implementation
domain independent
domain specific
horn clauses
higher order
action theories
efficient processing
active set
high level
first order logic
hardware implementation
objective function
predicate calculus
highly parallel