The problem of finding a work assignment for drivers in a given time horizon, in such a way as to have an even distribution of the workload, is considered. This problem is formulated as a Multi-levelâ€¦ (More)

In a previous paper, a hypergraph model for the satisfiability of Datalog formulas was proposed. Here, we extend that approach in order to deal with a class ofconstraint logic programming (CLP)â€¦ (More)

We test whether a given solution of a quadratic 0-1 problem is optimal. The paper presents an algorithm based on the necessary and sufficient optimality condition introduced by Hirriart-Urruty forâ€¦ (More)

This paper analyses a necessary and sufficient optimality condition for quadratic pseudoBoolean unconstrained problems. It is proved that in general testing any necessary and sufficient optimalityâ€¦ (More)

The issue tackled is testing whether a given solution of a quadratic 0-1 problem is optimal. The paper presents an algorithm based on the necessary and sufficient optimality condition introduced byâ€¦ (More)

This paper considers a mass transit system in a regional area. The problem of improving the quality of the service in terms of costs perceived by the passenger is studied. A model to improve theâ€¦ (More)