SAT and P-SAT Resources