Almost Optimal Canonical Property Testers for Satisfiability | IEEE Conference Publication | IEEE Xplore