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