Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning | Digital Library | PAMCET | PAMCET