New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized

Guillaume Allais Pierre Boutillier Conor McBride

Published in: CoRR (2013)

Keyphrases

decision making
decision makers
data sets
information systems
evolutionary algorithm
mathematical model
databases
social networks
image processing
data structure
lower bound
differential equations
linear systems
linear equations