Effective Lower Bounding Techniques for Pseudo-Boolean Optimization

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Design, Automation and Test in Europe S. 660 - 665
Hauptverfasser:	Manquinho, Vasco M., Marques-Silva, Joao
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 07.03.2005 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Constraint optimization Cost function Design automation Design optimization Electronic design automation and methodology High performance computing Lagrangian functions Learning systems Mathematics of computing > Mathematical analysis > Mathematical optimization > Continuous optimization > Linear programming Optimization methods Theory of computation > Design and analysis of algorithms > Algorithm design techniques > Backtracking Theory of computation > Design and analysis of algorithms > Mathematical optimization > Continuous optimization > Linear programming Theory of computation > Logic Tree data structures
ISBN:	9780769522883, 0769522882
ISSN:	1530-1591
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!