We present two different methods for estimating the cost of solving SAT problems. The methods focus on the online behaviour of the backtracking solver, as well as the structure of the problem. Modern SAT solvers present several challenges to estimate search cost including coping with nonchronological backtracking, learning and restarts. Our first method adapt an existing algorithm for estimatin...

This note comments on a paper published by Wagner and Davis ( Decision Sciences (2001), 32(4), 557–573 ) . These authors present an integer-programming model for the single-item discrete sequential search problem with group activities. Based on their experiments, they conjecture that the problem can be solved as a linear program. In this note, we provide a counterexample for which the optimal v...

this study compared the use of five different models to describe the growth from birth to 20 weeks of age of kids from both genders of nondescript goats. fifty nine (59) nondescript kids were weighed weekly at the university of maiduguri livestock teaching and research farm, nigeria and the live weights were modeled. biologically relevant variables were estimated for each kid from the logistic,...

To ensure efficient performance of irrigation canals, the losses from the canals need to be minimized. In this paper a modified formulation is presented to solve the optimization model for the design of different canal geometries for minimum seepage loss, in meta-heuristic environment. The complex non-linear and non-convex optimization model for canal design is solved using a probabilistic sear...

toxicity of 38 aliphatic carboxylic acids was studied using non-linear quantitative structure-toxicityrelationship (qstr) models. the adaptive neuro-fuzzy inference system (anfis) was used to construct thenonlinear qstr models in all stages of study. two anfis models were developed based upon differentsubsets of descriptors. the first one used log ow k and lumo e as inputs and had good predicti...

water conveyance systems (wcss) are costly infrastructures in terms of materials, construction, maintenance and energy requirements. much attention has been given to the application of optimization methods to minimize the costs associated with such infrastructures. historically, traditional optimization techniques have been used, such as linear and non-linear programming. in this paper, applica...

This paper presents a decision theoretic ranking system that incorporates both explicit and implicit feedback. The system has a model that predicts, given all available data at query time, different interactions a person might have with search results. Possible interactions include relevance labelling and clicking. We define a utility function that takes as input the outputs of the interaction ...