The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation th...

Many real life problems can be formulated as constraint satisfaction problems (CSPs). Backtracking search algorithms are usually employed to solve CSPs and in backtracking search the choice of branching strategies can be critical since they specify how a search algorithm can instantiate a variable and how a problem can be reduced into subproblems; that is, they define a search tree. In spite of...

The potato (Solanum tuberosum) tuber is a swollen stem. Sprouts growing from the tuber nodes represent loss of apical dominance and branching. Long cold storage induces loss of tuber apical dominance and results in secondary branching. Here, we show that a similar branching pattern can be induced by short heat treatment of the tubers. Detached sprouts were induced to branch by the heat treatmen...

The two standard branching schemes for CSPs are d-way and 2-way branching. Although it has been shown that in theory the latter can be exponentially more effective than the former, there is a lack of empirical evidence showing such differences. To investigate this, we initially make an experimental comparison of the two branching schemes over a wide range of benchmarks. Experimental results ver...

The tracheal (respiratory) system of Drosophila melanogaster is a branched network of epithelial tubes that ramifies throughout the body and transports oxygen to the tissues. It forms by a series of sequential branching events in each hemisegment from T2 to A8. Here we present a cellular and initial genetic analysis of the branching process. We show that although branching is sequential it is n...

The mechanism of the low temperature oxidation of gaseous acetaldehyde was investigated in the temperature range of 1 50-400?°C. The minor, intermediate and major products were identified and measured quantitatively by sampling directly into the ionization chamber of an MS10-C2 mass spectrometer from the reactor. The formation of H2O, CO, CO2, HCOOH, H2, HCHO, CH3COOH and CH3OH as the major pro...