Some years ago M, Anjos [*A] characterised and evaluated semi-definite programming (SDP) relaxations of the Boolean SAT problem. His empirical work was interesting and somewhat promising, but did not obviously impact the course of fashionable decsion procedures for the SAT problem. There are related works that consider optimisation problems that can be posed about formulae in Boolean logic [*B]. Since Anjos' study early this century there have been enormous advances in heterogeneous computing, and particular GPGPU libraries and hardware. On that basis, we expect revising the SDP characterisation of SAT will be timely, and yield some interesting results compared to serial and incremental systematic searches that make use of systematic lookahead and CDCL-style backtracking search procedures.