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

Eden Frenkel Tej Chajed Oded Padon Sharon Shoham

Published in: CAV (2) (2024)

Keyphrases

efficient implementation
active set
efficient processing
universally quantified
hardware implementation
domain independent
high level
action theories
domain specific
higher order
first order logic
face recognition
model checking
logic programs
np hard
predicate calculus
knowledge base