Sciweavers

CPAIOR
2008
Springer
13 years 6 months ago
From High-Level Model to Branch-and-Price Solution in G12
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, S...
CPAIOR
2008
Springer
13 years 6 months ago
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...
Lukas Kroc, Ashish Sabharwal, Bart Selman
CPAIOR
2008
Springer
13 years 6 months ago
Optimal Deployment of Eventually-Serializable Data Services
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
Laurent Michel, Alexander A. Shvartsman, Elaine L....
CPAIOR
2008
Springer
13 years 6 months ago
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
The one-step anticipatory algorithm (1s-AA) is an online algorithm making decisions under uncertainty by ignoring future non-anticipativity constraints. It makes near-optimal decis...
Luc Mercier, Pascal Van Hentenryck
CPAIOR
2008
Springer
13 years 6 months ago
Connections in Networks: A Hybrid Approach
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabha...
CPAIOR
2006
Springer
13 years 6 months ago
Conflict-Directed A* Search for Soft Constraints
As many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft co...
Martin Sachenbacher, Brian C. Williams

1
posts
with
198
views
361profile views Browse  My Posts »
Sumit Kumar BoseResearch Scientist, Manager
Unisys Corporation
Sumit Kumar Bose
I completed my dissertation in the area of Operations Research in 2005. Subsequently, I was employed with the corporate research arm of Infosys Technologies Ltd, called SETlabs fro...
CPAIOR
2010
Springer
13 years 7 months ago
An In-Out Approach to Disjunctive Optimization
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...
Matteo Fischetti, Domenico Salvagnin
CPAIOR
2010
Springer
13 years 7 months ago
Hybrid Methods for the Multileaf Collimator Sequencing Problem
Abstract. The multileaf collimator sequencing problem is an important component of the effective delivery of intensity modulated radiotherapy used in the treatment of cancer. The p...
Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan