ALGORITHMS FOR LINEAR PSEUDO-BOOLEAN OPTIMIZATION
D – Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa –
New algorithms for Pseudo-Boolean Optimization have been motivated by the recent advances in Propositional Satisfiability (SAT) algorithms. These new techniques developed in SAT algorithms are powerful mechanisms in manipulating problem constraints, but they are not effective in dealing with information from the cost function in Pseudo-Boolean Optimization problem instances.
In this dissertation we propose a new algorithmic framework for solving the Pseudo-Boolean Optimization problem. We start by introducing a new algorithm that integrates SAT-based techniques such has non-chronological backtracking, Boolean constraint propagation and constraint learning with classical branch and bound techniques, namely the use of lower bound estimation procedures on the value of the cost function. Moreover, we provide conditions for using several lower bound estimation procedures with SAT-based techniques and introduce the notion of bound conflict learning. Finally, we also propose the use of cutting plane techniques commonly used in Integer Linear Programming within a SAT-based framework. Experimental results show that our algorithm is more effective in solving several Pseudo-Boolean Optimization problem instances and provide a significant contribution to this area.
Date: 2006-Jul-20 Time: 14:00:00 Room: ANFITEATRO DO COMPLEXO I DO IST
For more information:
INESC Brussels HUB Winter Meeting | JAN 25-26, 2024, in Porto
The INESC Winter Meeting, organized in collaboration with INESC Holding, is scheduled for January 25th and 26th, 2024, and it will be held in the city of Porto.
On January 25th, the primary goal is to bring together individuals from all five INESC institutes, fostering an environment that encourages networking, forging new connections, and collectively engaging in a forward-thinking exercise regarding the future of our research fields and the positioning of the INESC group within the European landscape.
There will be a welcome lunch, followed by an afternoon dedicated to collaboration, openness, and curiosity. The event will have a participatory approach, and will be guided by Dirk Stockmans, a highly experienced facilitator who has worked for the European Commission for the last 30 years.
Furthermore, all INESC researchers are invited to submit proposals for e-posters to be displayed at the Winter Meeting. Deadline for submissions is December 10 and more information is available here.
On January 26th, a senior administration and management committee will be held. Participants will be selected by each institute administration by invitation only.
If you would to take part on the 25th of January, please register here by November 30th.
The INESC Brussels HUB website will soon share more information about the venue and uptaded agenda.