Sciweavers

CPC
2010
116views more  CPC 2010»
13 years 9 months ago
A Separator Theorem for String Graphs and its Applications
A string graph is the intersection graph of a collection of continuous arcs in the plane. It is shown that any string graph with m edges can be separated into two parts of roughly...
Jacob Fox, János Pach
CPC
2010
75views more  CPC 2010»
13 years 9 months ago
Decompositions into Subgraphs of Small Diameter
Jacob Fox, Benny Sudakov
CPAIOR
2010
Springer
13 years 10 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
CPAIOR
2010
Springer
13 years 10 months ago
On Matrices, Automata, and Double Counting
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, ...
ANOR
2010
139views more  ANOR 2010»
13 years 10 months ago
Some operations research methods for analyzing protein sequences and structures
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
Piotr Lukasiak, Jacek Blazewicz, Maciej Milostan
OR
2010
Springer
13 years 10 months ago
Modeling organic carbon and carbon-mediated soil processes in DSSAT v4.5
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
Cheryl H. Porter, J. W. Jones, S. Adiku, A. J. Gij...
CPAIOR
2010
Springer
13 years 10 months ago
Boosting Set Constraint Propagation for Network Design
Abstract. This paper reconsiders the deployment of synchronous optical networks (SONET), an optimization problem naturally expressed in terms of set variables. Earlier approaches, ...
Justin Yip, Pascal Van Hentenryck, Carmen Gervet
CPAIOR
2010
Springer
13 years 10 months ago
Automatically Exploiting Subproblem Equivalence in Constraint Programming
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
Geoffrey Chu, Maria Garcia de la Banda, Peter J. S...
OR
2007
Springer
13 years 11 months ago
Economic evaluation of biomass heating systems: a case of greenhouses in northern Greece
In this paper, a methodology for the evaluation of the economic viability of investment plans for biomass heating systems is applied. The factors participating in the development ...
Ilias J. Gousgouriotis, Yiannis A. Katsigiannis, P...
OR
2007
Springer
13 years 11 months ago
Hybrid heuristics for the probabilistic maximal covering location-allocation problem
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
Francisco de Assis Corrêa, Antonio Augusto C...