Stdatomic Boolean Logic Search