Tags
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Mehr anzeigen
Präsentationen
(9)Tags
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Mehr anzeigen