Sciweavers

INFORMS
2010
110views more  INFORMS 2010»
13 years 8 months ago
Incremental Satisfiability and Implication for UTVPI Constraints
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
Andreas Schutt, Peter J. Stuckey
INFORMS
2010
75views more  INFORMS 2010»
13 years 8 months ago
Improving the Efficiency and Efficacy of Controlled Sequential Bifurcation for Simulation Factor Screening
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
Hong Wan, Bruce E. Ankenman, Barry L. Nelson
INFORMS
2010
100views more  INFORMS 2010»
13 years 8 months ago
Two-Step MIR Inequalities for Mixed Integer Programs
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
Sanjeeb Dash, Marcos Goycoolea, Oktay Günl&uu...
INFORMS
2010
147views more  INFORMS 2010»
13 years 8 months ago
Exact Algorithms for the Quadratic Linear Ordering Problem
The quadratic linear ordering problem naturally generalizes various optimization problems, such as bipartite crossing minimization or the betweenness problem, which includes linear...
Christoph Buchheim, Angelika Wiegele, Lanbo Zheng
INFORMS
2010
145views more  INFORMS 2010»
13 years 9 months ago
An Automated Intensity-Modulated Radiation Therapy Planning System
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
Shabbir Ahmed, Ozan Gozbasi, Martin W. P. Savelsbe...
INFORMS
2010
60views more  INFORMS 2010»
13 years 9 months ago
A Note on "A Superior Representation Method for Piecewise Linear Functions"
Juan Pablo Vielma, Shabbir Ahmed, George L. Nemhau...
INFORMS
2010
86views more  INFORMS 2010»
13 years 9 months ago
Adaptive Auction Mechanism Design and the Incorporation of Prior Knowledge
David Pardoe, Peter Stone, Maytal Saar-Tsechansky,...
INFORMS
2010
83views more  INFORMS 2010»
13 years 9 months ago
Algorithms for Recognizing Economic Properties in Matrix Bid Combinatorial Auctions
Dries R. Goossens, Rudolf Müller, Frits C. R....
INFORMS
2010
107views more  INFORMS 2010»
13 years 9 months ago
A Class Representative Model for Pure Parsimony Haplotyping
Haplotyping estimation from aligned Single Nucleotide Polymorphism (SNP) fragments has attracted more and more attention in the recent years due to its importance in analysis of m...
Daniele Catanzaro, Alessandra Godi, Martine Labb&e...