The need for improving and evaluating students’ cognitive skills, including problem-solving, has been highlighted in both the mathematics education literature curricula worldwide. objective of this study was to assess problem-solving skills lower secondary school students using a teacher-based evaluation method, taking into account their grade level, gender, grade-point averages, grades. To tha...

the evaluation and selection of recommender systems is a difficult decision making process. this difficulty is partially due to the large diversity of published evaluation criteria in addition to lack of standardized methods of evaluation. as such, a systematic methodology is needed that explicitly considers multiple, possibly conflicting metrics and assists decision makers to evaluate and find...

The cost of an optimal delete relaxed plan, known as h, is a powerful admissible heuristic but is in general intractable to compute. In this paper we examine the problem of computing h by encoding it as a MAXSAT problem. We develop a new encoding that utilizes constraint generation to supports the computation of a sequence of increasing lower bounds on h. We show a close connection between the ...