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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Design, Automation and Test in Europe s. 660 - 665
Hlavní autoři:	Manquinho, Vasco M., Marques-Silva, Joao
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 07.03.2005 IEEE
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!