327 search results - page 27 / 66 » Cutting planes in integer and mixed integer programming |
120
click to vote
SAT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
168
click to vote
WEA
2010
Springer
15 years 7 months ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
114
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
104
click to vote
WG
2007
Springer
15 years 7 months ago
2007
Springer
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
136
click to vote
JAIR
2010
14 years 11 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...