Recently, Gargani and Refalo (G&R) presented an elegant model for the Steel Mill Slab Design Problem (Problem 38 in the CSP LIB). Contrary to earlier approaches, their model does not use 0/1 variables but exploits the traditional expressiveness of constraint programming. G&R indicated that static symmetry-breaking constraints proposed earlier are not effective on this model, as these interact w...

The paper proposes a dynamic method, Recursive Symmetry Breaking During Search (ReSBDS), for efficient partial symmetry breaking. We first demonstrate how Partial Symmetry Breaking During Search (ParSBDS) misses important pruning opportunities when given only a subset of symmetries to break. The investigation pinpoints the culprit and in turn suggests rectification. The main idea is to add extr...

The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains and the constraints imposed by on-board applications. In this paper we extend the approach to deal with temporal information. We introduce a notion of temporal diagnostic decision tree, in which nodes have a temporal ...

The problem of nding minimal sets of objects, that are correlated and have statistically signiicant number of occurrences in a database, has recently received considerable attention, as an alternative to association rules. A case for making mining human-centered, interactive, and exploratory via application speciic constraints was recently made in the papers 14, 12]. The technical results of th...

Some complex problems could be tackled more satisfactorily by constraint programming tools if it were possible to state arbitrarily quantified constraints. Real-valued quantified constraints have been considered in the field of mathematical programming for more than fifty years, while discrete (boolean) quantified constraints have recently received attention from the SAT community. No direct co...

Abstract Small-scale irrigation schemes (SSIS) have been considered a solution to viability challenges in drought-stricken farming areas developing countries. However, the face severe constraints. In this paper, relevant constraints are identified and ranked terms of how serious limitations from perspective stakeholders drought-prone Chipinge District Zimbabwe. Information for study was gained ...

This study aims to: Describe teachers' perceptions about the implementation of independent learning curriculum in science education and describe constraints felt by teachers implementing as well solutions to overcome these obstacles. type research is a case study. The sample this was teacher at SMP DR Wahidin Sudirohusodo Medan, who were selected using purposive sampling technique developed sno...

The Internet of Things (IoT), often referred as the future Internet; is a collection of interconnected devices integrated into the world-wide network that covers almost everything and could be available anywhere. IoT is an emerging technology and aims to play an important role in saving money, conserving energy, eliminating gap and better monitoring for intensive management on a routine basis. ...

This chapter analyzes the technical efficiency of banana production among Ugandan smallholders by estimating a stochastic production frontier model with inefficiency effects. The empirical models are formulated within the overarching framework of the agricultural household specified in Chapter 2. The data design is also summarized in Chapter 2, although additional information about soil quality...