Evaluation of A+B=K conditions without carry propagation | Publicación