Automated reasoning in a collaborative problem solving process . A first approach

The optimization problem of a pseudo-Boolean function is NP-hard, even when the objective function is quadratic; this is due to the fact that the problem encompasses several

Cu 1.75 S identified, using X-ray diffraction analysis, products from the pretreatment of the chalcocite mineral with 30 kg/t H 2 SO 4 , 40 kg/t NaCl and 7 days of curing time at

Public archives are well-established through the work of the national archive services, local authority-run record offices, local studies libraries, universities and further

The Flexible Periodic Routing Problem 23 The optimal and only solution of the PVRP is the one where Q routes are used to serve the customers in the first set with direct trips to

Furthermore, the strategy to solve this NP- hard problem is presented, developing the heuristics to obtain an approximate value of the optimal integer solution, using

In addition to traffic and noise exposure data, the calculation method requires the following inputs: noise costs per day per person exposed to road traffic

In the case of Loop , the successors attribute for its body has to be the condition expression, that is, the control flow successor of the loop’s last statement will be the

In the edition where the SPOC materials were available, we have observed a correlation between the students’ final marks and their percentage rate of