We explore the idea of obtaining valid inequalities from a finite-domain formulation of a problem, rather than a 0-1 formulation. A finite-domain model represents discrete choices with variables that have several possible values, as is frequently done in constraint programming. We apply the idea to graph coloring and identify facet-defining cuts that, when converted to cuts in a 0-1 model of th...

Gomory mixed-integer cuts are an important ingredient in state-ofthe-art software for solving mixed-integer linear programs. In particular, much attention has been paid to the strengthening of these cuts. In this paper, we give an overview of existing approaches for improving the performance of Gomory mixed-integer cuts. More precisely, we consider k-cuts, combined Gomory mixed-integer cuts, re...

We present α-expansion β-shrink moves, a simple generalization of the widely-used αβswap and α-expansion algorithms for approximate energy minimization. We show that in a certain sense, these moves dominate both αβ-swap and α-expansion moves, but unlike previous generalizations the new moves require no additional assumptions and are still solvable in polynomial-time. We show promising experimen...

We explore the idea of obtaining valid inequalities for a 0-1 model from a constraint programming formulation of the problem. In particular, we formulate a graph coloring problem as a system of alldifferent constraints. By analyzing the polyhedral structure of alldiff systems, we obtain facet-defining inequalities that can be mapped to valid cuts in the classical 0-1 model of the problem. We fo...

Low-radioactive material screening is becoming essential for rare event search experiments, such as neutrinoless double beta decay and dark matter searches in underground laboratories. A gaseous time projection chamber (TPC) can be used purposes with large active areas high efficiency. TPC a Micromegas readout plane of approximately $$20 \times 20$$ $$\hbox {cm}^2$$ successfully constructed sur...

The earned value technique is an essential technique in analyzing and controlling the performance of a project by providing a more accurate measurement of both project performance and project progress. This paper presents an approach to deal with fuzzy earned value indices. This includes developing new indices under fuzzy circumstances and evaluating them using alpha cut method. The model impro...