Login / Signup
Satisfiability of general intruder constraints with and without a set constructor.
Tigran Avanesov
Yannick Chevalier
Michaël Rusinowitch
Mathieu Turuani
Published in:
J. Symb. Comput. (2017)
Keyphrases
</>
linear constraints
special case
input data
computational complexity
neural network
probability distribution
small number
user defined
constraint sets
np complete
closely related
decision variables
cardinality constraints
optimization criteria