Fixed-point analysis and simulations of AC-3 algorithm | IEEE Conference Publication | IEEE Xplore