Effective lower bounding techniques for pseudo-Boolean optimization [EDA applications]

Abstract

Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), new algorithms for PBO have emerged, which are effective on highly constrained instances. However, these algorithms fail to handle effectively the information provided by the cost… (More)
DOI: 10.1109/DATE.2005.126

Topics

1 Figure or Table