Herbrand-Satisfiability of a Quantified Set-theoretical Fragment.

Domenico Cantone Cristiano Longo Marianna Nicolosi Asmundo

Published in: CILC (2014)

Keyphrases

real time
propositional logic
neural network
optimal solution
search space
small number
feature set
theoretical analysis
satisfiability problem
decision procedures