Satisfiability of general intruder constraints with a set constructor.

Tigran Avanesov Yannick Chevalier Michaël Rusinowitch Mathieu Turuani

Published in: CRiSIS (2010)

Keyphrases

special case
closely related
data sets
small number
feature set
constraint programming
constraint sets
evolutionary algorithm
lower and upper bounds
constraint language