Etiquetas
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Ver más
Presentaciones
(9)Etiquetas
verification
sat
logic
pseudo-boolean
human reasoning
it security
parallel
complexity
spark
answer set programming
Ver más