Solving E-Squaro through SAT-Coding | IEEE Conference Publication | IEEE Xplore