Search techniques for SAT-based Boolean optimization (0)

by Fadi A Aloul
Venue:Journal of the Franklin Institute