338 search results - page 18 / 68 » Effective Lower Bounding Techniques for Pseudo-Boolean Optim... |
UAI
2004
13 years 9 months ago
2004
In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect ...
OPODIS
2010
13 years 5 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
ALGORITHMICA
2010
13 years 8 months ago
2010
Given a cellular (mobile telephone) network, whose geographical coverage area is divided into hexagonal cells, phone calls are serviced by assigning frequencies to them so that no...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper concerns the study of the optimal performance computation of a semi-active suspension evaluated in terms of comfort and handling performances. To this aim the semi-activ...
FM
2009
Springer
14 years 2 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...