Mots-clés
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Tout plus
Présentations
(9)Mots-clés
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Tout plus