Satisfiability testing: recent developments and challenge problems | IEEE Conference Publication | IEEE Xplore