verification sat logic pseudo-boolean human reasoning it security parallel complexity spark answer set programming
Tout plus