3 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho +1
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the MC…